Not perfect yet, but I now like it a LOT better than what we had just two days ago.
And http://www.gnu.org/software/gcc/ starts to look somewhat reasonable again, too. Committed. Gerald Index: gcc.css =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v retrieving revision 1.8 diff -u -r1.8 gcc.css --- gcc.css 4 Apr 2011 17:56:25 -0000 1.8 +++ gcc.css 4 Apr 2011 23:26:20 -0000 @@ -14,6 +14,23 @@ dl.status dd { margin-left:3ex; } +.td_title { + border-color: #3366cc; + border-style: solid; + border-width: thin; + color: #f2f2f9; + background-color: #0066dd; + font-weight: bold; +} + +.td_con { + padding-top: 3px; + padding-left: 8px; + padding-bottom: 3px; + background-color: #f2f2f9; + font-size: smaller; +} + div.copyright { font-size: 75%; background: #f2f2f9; Index: gnu.css =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/gnu.css,v retrieving revision 1.9 diff -u -r1.9 gnu.css --- gnu.css 4 Apr 2011 17:56:25 -0000 1.9 +++ gnu.css 4 Apr 2011 23:26:20 -0000 @@ -20,21 +20,3 @@ .center { text-align: center; } - -.td_title { - border-color: #3366cc; - border-style: solid; - border-width: thin; - color: #3366cc; - background-color : #f2f2f9; - font-weight: bold; -} - -.td_con { - padding-top: 3px; - padding-left: 8px; - padding-bottom: 3px; - color : #303030; - background-color: #f2f2f9; - font-size: smaller; -}
