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. 

2 files changed, 55 insertions, 22 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; 
 }
diff --git a/style.css b/style.css
index 4c167ff..0b01382 100644
--- a/style.css
+++ b/style.css
@@ -1 +1,54 @@
-BODY { background: white; color: black; }
+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; 
+    padding: 0 0 0.4em 0.1em; 
+    /*margin: 0 0 0.5em 0; */
+    margin: 0; 
+    /*border-bottom: 2px solid black;*/
+}
+hr { 
+    border: 1px #b8b8b8 solid; 
+}
+h1 + hr {
+    margin-top: 0;
+    margin-bottom: 1.7em; 
+}
+h2 {
+    margin: 1em 0 0.8em 0; 
+    padding: 0; 
+    font-size: 150%;
+}
+pre, tt, kbd, code, pre samp {
+   font-family: "Courier 10 Pitch", Courier, "Courier New", monospace;
+}
+img {border: none;}
+a {
+    text-decoration: underline;
+}
+a:link {
+    /*color: #0073c7;*/
+    color: blue; 
+    background-color: inherit;
+}
+
+a:visited {
+    /*color: #5A88B5;*/
+    color: #844084; 
+    background-color: inherit;
+}
+
+/*
+a:hover,
+a:active {
+    color: #0073c7;
+    background-color: #f0f0f0;
+}
+*/