@import 'default.css';

dt { font-weight: bold; }

/* Custom roles */
.param    { font-weight: bold; }
.paramval { font-family: monospace; }
.group    { font-family: monospace; }
.field    { font-weight: bold; }
.command  { font-family: monospace; font-size: 130% }

.admonition-todo {
  background-color: lightpink;
  border: 2px darkred solid;
}

/* Make Buggie's antenna not take up so much space */
.logo {
  display: block;
  margin-top: -20px;
}