doc: Split revhistory to separate file for html docs

[fw/altos] / doc / am.css

diff --git a/doc/am.css b/doc/am.css
index 2461e11145cbf00e79e9b56aa40ee46d94ea1034..7723b14acc22c89ee76dd8919652f28e569a0427 100644 (file)
--- a/doc/am.css
+++ b/doc/am.css
@@ -2,9 +2,65 @@
   CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
 */
 
+@font-face {
+    font-family: 'Open Sans';
+    src: url('fonts/OpenSans-Regular.ttf');
+    font-weight: normal;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'Open Sans';
+    src: url('fonts/OpenSans-Italic.ttf');
+    font-weight: normal;
+    font-style: italic;
+}
+
+@font-face {
+    font-family: 'Open Sans';
+    src: url('fonts/OpenSans-Semibold.ttf');
+    font-weight: bold;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'Open Sans';
+    src: url('fonts/OpenSans-SemiboldItalic.ttf');
+    font-weight: bold;
+    font-style: italic;
+}
+
+@font-face {
+    font-family: 'DejaVu Sans Mono';
+    src: url('fonts/DejaVuSansMono.ttf');
+    font-weight: normal;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'DejaVu Sans Mono';
+    src: url('fonts/DejaVuSansMono-Oblique.ttf');
+    font-weight: normal;
+    font-style: oblique;
+}
+
+@font-face {
+    font-family: 'DejaVu Sans Mono';
+    src: url('fonts/DejaVuSansMono-Bold.ttf');
+    font-weight: bold;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'DejaVu Sans Mono';
+    src: url('fonts/DejaVuSansMono-BoldOblique.ttf');
+    font-weight: bold;
+    font-style: oblique;
+}
+
 body {
-    font-family: "Frutiger LT Std 45 Light",sans-serif;
-    font-size: 14pt;
+    font-family: "Open Sans",sans-serif;
+    font-size: 12pt;
 }
 
 code, pre {
@@ -41,7 +97,7 @@ a:visited {
 h1, h2, h3, h4, h5, h6
 {
   color: #0080ff;
-  font-family: "Frutiger LT Std 45 Light",sans-serif;
+  font-family: "Open Sans",sans-serif;
 }
 
 div.revhistory table {
@@ -54,6 +110,74 @@ div titlepage {
     border-top: 2px;
 }
 
+div.warning h1, div.warning h2, div.warning h3, div.warning h4, div.warning h5, div.warning h6 {
+    color: #ff2020;
+}
+
+div.warning p, div.note p, div.error p {
+    margin-left: 5%;
+    margin-left: 5%;
+}
+
+div.toc {
+    position: fixed;
+    left: 0px;
+    top: 0px;
+    height: 100%;
+    width: 25em;
+    margin-right: 5ex;
+    margin-left: 0px;
+    float: left;
+    border-right: 2px solid #0080ff;
+    border-collapse: collapse;
+    overflow: auto;
+}
+
+div.toc a:link {
+    text-decoration: none;
+}
+
+div.toc a:visited {
+    text-decoration: none;
+}
+
+div.toc a:hover {
+    text-decoration: underline;
+}
+
+div.toc a:active {
+    text-decoration: underline;
+}
+
+div.book {
+    margin-left: 25em;
+}
+
+div.list-of-figures {
+    display: none;
+}
+
+div.list-of-tables {
+    display: none;
+}
+
+div.figure p {
+    text-align: center;
+}
+div.figure img {
+    display: block;
+    margin: auto;
+}
+
+div.table p.title {
+    text-align: center;
+}
+
+div.table-contents table {
+    margin-left: auto;
+    margin-right: auto;
+}
+
 div.toc p:first-child,
 div.list-of-figures p:first-child,
 div.list-of-tables p:first-child,
@@ -63,7 +187,7 @@ div.sidebar p.title
 {
   font-weight: normal;
   color: #0080ff;
-  font-family: "Frutiger LT Std 45 Light",sans-serif;
+  font-family: "Open Sans",sans-serif;
   margin-bottom: 0.2em;
 }
 
@@ -108,8 +232,8 @@ div.footnotes hr {
 }
 
 div.navheader th, div.navheader td, div.navfooter td {
-    font-family: "Frutiger LT Std 45 Light",sans-serif;
-    font-size: 14pt;
+    font-family: "Open Sans",sans-serif;
+    font-size: 12pt;
     font-weight: normal;
     color: #0080ff;
 }
@@ -224,27 +348,18 @@ div.variablelist p.title
   margin-bottom: -0.8em;
 }
 
-table {
-    border: none;
-}
-
 div.revhistory {
     border-style: none;
 }
 
-div.revhistory table, th, td, tr {
-    margin-top: 1em;
-    border-width: 1px;
+div.revhistory table, div.revhistory th, div.revhistory td {
     border-collapse: collapse;
-    border-top: 1px;
-    border-bottom: 1px;
-    border-left: 1px;
-    border-right: 1px;
-    border: 1px solid black;
+    border: 1px solid #0080ff;
+    padding: 0.25em;
 }
+
 div.revhistory th {
   color: #0080ff;
-  font-family: "Frutiger LT Std 45 Light",sans-serif;
 }
 
 /* Keep TOC and index lines close together. */
@@ -262,12 +377,18 @@ div.indexdiv dl, div.indexdiv dt
   Table styling does not work because of overriding attributes in
   generated HTML.
 */
+div.table-contents p,
+div.informaltable p
+{
+    margin: 0px;
+}
+/*
 div.table table,
 div.informaltable table
 {
     margin-left: 0;
-    margin-right: 5%;
-    margin-bottom: 0.8em;
+    margin-right: 0.25em;
+    margin-bottom: 0.25em;
 }
 div.informaltable table
 {
@@ -281,9 +402,15 @@ div.informaltable tfoot,
 div.informaltable tbody
 {
     /* No effect in IE6. */
-    border-top: 3px solid #527bbd;
-    border-bottom: 3px solid #527bbd;
+    border-top: 1px solid #0080ff;
+    border-bottom: 1px solid #0080ff;
+    border-left: 1px solid #0080ff;
+    border-right: 1px solid #0080ff !important;
+    border-width: 1px !important;
 }
+*/
+
+
 div.table thead, div.table tfoot,
 div.informaltable thead, div.informaltable tfoot
 {