drgn/docs/_static/custom.css
Omar Sandoval 35b59203d8 docs: document that Type == is not for type checking
While we're here, let's make the note formatting look a bit nicer.
2019-11-24 09:45:39 -08:00

9 lines
125 B
CSS

div.admonition {
padding-bottom: 0;
}
div.admonition p.admonition-title {
font-size: 17px;
font-weight: bold;
}