@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; | |
} |