new docbook/xml documentation, updated webpage

[udis86.git] / docs / manual / manual.css

diff --git a/docs/manual/manual.css b/docs/manual/manual.css
new file mode 100644 (file)
index 0000000..80bbfea
--- /dev/null
+++ b/docs/manual/manual.css
@@ -0,0 +1,33 @@
+html body {font: 76%/1.4em Arial, Helvetica, sans-serif;}
+html>body {font: 76%/1.4em Arial, Helvetica, sans-serif;}
+
+body {
+       margin-left: 40px;
+       padding: 0;
+    max-width: 750px;
+}
+
+.article {
+    font-size: 1.3em;
+    line-height: 1.5em;
+}
+
+.revhistory table, .revhistory td, .revhistory th {
+    border: 0;
+}
+
+.programlisting {
+    background-color: #eee;
+    padding: 1em;
+}
+
+.screen {
+    background-color: #eee;
+    padding: 1em;
+}
+
+.author {
+    color: #888;
+    font-style: italic;
+    font-weight: normal;
+}