doc: Place html book contents on left side of page with separate scrollbar

[fw/altos] / doc / am.css

diff --git a/doc/am.css b/doc/am.css
index 2461e11145cbf00e79e9b56aa40ee46d94ea1034..c2faa01500e573b7521642fabb17b6a66e3ecd6c 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;
 }
@@ -244,7 +368,6 @@ div.revhistory table, th, td, tr {
 }
 div.revhistory th {
   color: #0080ff;
-  font-family: "Frutiger LT Std 45 Light",sans-serif;
 }
 
 /* Keep TOC and index lines close together. */