path: root/src/doc/style.css

#titlearea,
address,
a[href="namespaces.html"]
{ display: none; }

h2.groupheader { margin-top: revert; }