doc: Add product logos to books

[fw/altos] / doc / am.css

diff --git a/doc/am.css b/doc/am.css
index c2faa01500e573b7521642fabb17b6a66e3ecd6c..1dee27ea948a34e93360a13aaed08f0e8e003bcf 100644 (file)
--- a/doc/am.css
+++ b/doc/am.css
@@ -87,16 +87,16 @@ body div {
 }
 
 a:link {
-    color: #0080ff;
+    color: #78079a;
 }
 
 a:visited {
-    color: #0080ff;
+    color: #78079a;
 }
 
 h1, h2, h3, h4, h5, h6
 {
-  color: #0080ff;
+  color: #78079a;
   font-family: "Open Sans",sans-serif;
 }
 
@@ -119,16 +119,26 @@ div.warning p, div.note p, div.error p {
     margin-left: 5%;
 }
 
-div.toc {
+h3.corpauthor img {
     position: fixed;
     left: 0px;
     top: 0px;
-    height: 100%;
-    width: 25em;
+    width: 410px;
+    height: 90px;
+    border-right: 2px solid #78079a;
+    border-bottom: 2px solid #78079a;
+}
+
+div.toc {
+    position: fixed;
+    left: 0px;
+    top: 92px;
+    bottom: 0;
+    width: 410px;
     margin-right: 5ex;
     margin-left: 0px;
     float: left;
-    border-right: 2px solid #0080ff;
+    border-right: 2px solid #78079a;
     border-collapse: collapse;
     overflow: auto;
 }
@@ -186,7 +196,7 @@ div.example p.title,
 div.sidebar p.title
 {
   font-weight: normal;
-  color: #0080ff;
+  color: #78079a;
   font-family: "Open Sans",sans-serif;
   margin-bottom: 0.2em;
 }
@@ -235,7 +245,7 @@ div.navheader th, div.navheader td, div.navfooter td {
     font-family: "Open Sans",sans-serif;
     font-size: 12pt;
     font-weight: normal;
-    color: #0080ff;
+    color: #78079a;
 }
 div.navheader img, div.navfooter img {
   border-style: none;
@@ -348,26 +358,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 #78079a;
+    padding: 0.25em;
 }
+
 div.revhistory th {
-  color: #0080ff;
+  color: #78079a;
 }
 
 /* Keep TOC and index lines close together. */
@@ -385,12 +387,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
 {
@@ -404,9 +412,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 #78079a;
+    border-bottom: 1px solid #78079a;
+    border-left: 1px solid #78079a;
+    border-right: 1px solid #78079a !important;
+    border-width: 1px !important;
 }
+*/
+
+
 div.table thead, div.table tfoot,
 div.informaltable thead, div.informaltable tfoot
 {