more updates

[udis86.git] / docs / style.css

diff --git a/docs/style.css b/docs/style.css
index 83f172c64562820f8081ddac947935a3dec08a3c..998ee3cb98b8e1394df867ce7407e85e4fb92e49 100644 (file)
--- a/docs/style.css
+++ b/docs/style.css
@@ -1,10 +1,50 @@
+html body {font: 76%/1.4em Arial, Helvetica, sans-serif;}
+html>body {font: 76%/1.4em Arial, Helvetica, sans-serif;}
+
 body {
-       font: 76%, sans-serif;
        background-color: #fff;
        margin: 0;
        padding: 0;
 }
 
+#wrapper { width: 750px; }
+
+#content a {
+       text-decoration: none;
+       border-bottom: 1px solid;
+}
+
+#content {
+       margin-left: 40px;
+       font-size: 1.2em;
+       line-height: 1.5em;
+       padding: 1em;
+       vertical-align: top;
+}
+
+
+#banner h1 {
+    font: 5em "georgia", "serif";
+    padding-bottom: 2px;
+    margin-bottom: 4px;
+}
+
+#banner h2 {
+    font: 2em "helvetica", "arial";
+    color: #888;
+    padding-top: 0px;
+    margin-top : 0px;
+}
+
+#intro {
+    font: 1.2em "helvetica", "arial";
+    line-height: 1.8em;
+    color: #444;
+    border-bottom: 1px solid #ccc;
+    padding-bottom: 0;
+    margin-bottom: 1em;
+}
+
 #topbar {
        margin-top: 0px;
        padding: 1em;
@@ -19,28 +59,12 @@ body {
        font-weight: bold;
 }
 
-#wrapper {
-       width: 750px;
-}
-
+#get-udis86 {
+    padding-bottom: 1em;
+    border-bottom: 1px solid #ccc;
+}    
 #menu {
 }
-#content a {
-       text-decoration: none;
-       color: navy;
-//     border-bottom: 1px solid;
-}
-
-#content {
-       margin-left: 40px;
-       font-size: 1.1em;
-       line-height: 1.4em;
-       padding: 1em;
-       vertical-align: top;
-       border-left: 1px solid skyblue;
-       border-right: 1px solid skyblue;
-}
-
 .box {
        background-color: #efefef;
        border: 1px dotted #aaa;
@@ -53,9 +77,10 @@ li {
 
 pre {
        padding: .5em;  
-       background-color: #f5f5f5;
+//     background-color: #f5f5f5;
+       background-color: lightyellow;
        font-size: 1.1em;
-       border: 1px solid #999;
+//     border: 1px solid #999;
 }
 
 code {