Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Clean up and fix rules for header and footer lines. | 2017-01-19 | 1 | -13/+22 | |
| | | | | In particular, horizontal alignment was missing. | ||||
* | Start cleanup: trim useless HTML comments, <div> elements, | 2017-01-19 | 1 | -23/+20 | |
| | | | | and CSS rules on the <html> and <body> levels. | ||||
* | fix error page indentation: | 2016-04-13 | 1 | -2/+3 | |
| | | | | | negative indent for h1 only in div.section issue reported by mikeb@ | ||||
* | Unify the three stylesheets into a single CSS file. | 2015-11-05 | 1 | -0/+158 | |
Many thanks to bentley@ for doing this work. |