manpage.css, style.css:

* moved some rules from the first to the latter, and @import the latter for the
  manpage. 
* added some further formatting for index.html. 

1 files changed, 1 insertions, 21 deletions

diff --git a/manpage.css b/manpage.css
index 731cec4..e24076d 100644
--- a/manpage.css
+++ b/manpage.css
@@ -1,28 +1,8 @@
-body { 
-    font-family: "Times New Roman", serif; 
-    font-size: 12pt; 
-    padding: 2%; 
-    line-height: 130%; 
-    margin: 0; 
-    /*color: #036;*/
-}
-h1 { 
-    font-size: 220%; 
-    font-weight: bold; 
-    /*text-align: center;*/
-    padding: 0 0 0.4em 0.1em; 
-    margin: 0 0 0.5em 0; 
-    border-bottom: 2px solid black;
-}
+@import "style.css"; 
 h2 {
-    margin: 1em 0 0.8em 0; 
-    padding: 0; 
     font-variant: small-caps; 
     font-size: 170%; 
 }
-pre, tt, kbd, code, pre samp {
-   font-family: "Courier 10 Pitch", Courier, "Courier New", monospace;
-}
 .INFORMALEXAMPLE {
     margin-bottom: 1.2em; 
 }