Removed 'max-width' from BODY to conform to pubrules. (It makes the

style too different from other Technical Reports.) Also removed
'margin' and 'color' from BODY, and 'font-family: inherit' from
H[1-6], because they weren't used.

Author: bert-github

css-module/default.css

@@ -17,10 +17,10 @@
 	margin: 1.5cm 1.1cm;
 }
 
-body {counter-reset: exampleno figure issue; max-width: 50em; margin: 0 auto !important; color: #444; }
+body {counter-reset: exampleno figure issue}
 
 /* Pagination */
-h1, h2, h3, h4, h5, h6 { page-break-after: avoid; font-family: inherit }
+h1, h2, h3, h4, h5, h6 { page-break-after: avoid }
 div.figure, div.sidefigure, pre, table.propdef, table.propdef-extra,
 div.example { page-break-inside: avoid }
 dt { page-break-after: avoid }