diff doc/_static/style.css @ 7133:b5b1f2830e23

Remove duplicate h1 headers from website Each page has an H1 header in the main part of the page. The class=header block also had an H1 enclosing "Roundup". This isn't useful as an H1 header. The page title includes Roundup as well so I demoted the class=header H1 to a label but styled it the same.
author John Rouillard <rouilj@ieee.org>
date Wed, 15 Feb 2023 10:36:09 -0500
parents 515ab1749b14
children 4553614a2b22
line wrap: on
line diff
--- a/doc/_static/style.css	Thu Feb 02 12:55:27 2023 -0500
+++ b/doc/_static/style.css	Wed Feb 15 10:36:09 2023 -0500
@@ -8,6 +8,7 @@
   padding: 0 3em 0 14em;
 }
 body > .header { margin: 0 0 0 -14em;}
+body > .header div.label { font-size: 2em; font-weight: bold; margin: 0.67em 0 0.67em 1em;}
 body > .footer { margin: 1em 0 1em -14em; clear:both;}
 body > .navigation 
 {

Roundup Issue Tracker: http://roundup-tracker.org/