X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=doc%2Fam.css;h=393ef81b5f961c93c28e458a5a679aa67ecb5824;hp=7723b14acc22c89ee76dd8919652f28e569a0427;hb=346fdfb469f7f3c1f87a39dee5bfb4568631c28b;hpb=edcb80f25875200a73269045db71c1579b0c2c82 diff --git a/doc/am.css b/doc/am.css index 7723b14a..393ef81b 100644 --- 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,20 +119,45 @@ 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; - margin-right: 5ex; - margin-left: 0px; + width: 410px; + height: 90px; + border-right: 2px solid #808080; + border-bottom: 2px solid #808080; +} + +div.toc { + position: fixed; + left: 0px; + top: 92px; + bottom: 0; + width: 390px; + margin-right: 0; + margin-left: 0; + padding-left: 10px; + padding-right: 10px; float: left; - border-right: 2px solid #0080ff; + border-right: 2px solid #808080; border-collapse: collapse; overflow: auto; } +div.toc p, +div.list-of-figures p, +div.list-of-tables p, +div.list-of-examples p, +div.toc a +{ + color: black; +} + +div.toc p { + color: black; +} + div.toc a:link { text-decoration: none; } @@ -178,15 +203,11 @@ div.table-contents table { margin-right: auto; } -div.toc p:first-child, -div.list-of-figures p:first-child, -div.list-of-tables p:first-child, -div.list-of-examples p:first-child, 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; } @@ -194,13 +215,13 @@ div.sidebar p.title body h1 { margin: .0em 0 0 -4%; line-height: 1.3; - border-bottom: 2px solid silver; + border-bottom: 2px solid #808080; } body h2 { margin: 0.5em 0 0 -4%; line-height: 1.3; - border-bottom: 2px solid silver; + border-bottom: 2px solid #808080; } body h3 { @@ -211,7 +232,7 @@ body h3 { body h4 { margin: .8em 0 0 -3%; line-height: 1.3; - border-top: 2px solid silver;goog + border-top: 2px solid #808080; } body h5 { @@ -228,14 +249,14 @@ body hr { border: none; /* Broken on IE6 */ } div.footnotes hr { - border: 1px solid silver; + border: 1px solid #808080; } 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; @@ -244,7 +265,7 @@ div.navheader a, div.navfooter a { font-weight: normal; } div.navfooter hr { - border: 1px solid silver; + border: 1px solid #808080; } body td { @@ -281,7 +302,7 @@ tt.literal, code.literal { } .programlisting, .screen { - border: 1px solid silver; + border: 1px solid #808080; background: #f4f4f4; margin: 0.5em 10% 0.5em 0; padding: 0.5em 1em; @@ -291,7 +312,7 @@ div.sidebar { background: #ffffee; margin: 1.0em 10% 0.5em 0; padding: 0.5em 1em; - border: 1px solid silver; + border: 1px solid #808080; } div.sidebar * { padding: 0; } div.sidebar div { margin: 0; } @@ -321,7 +342,7 @@ dt { } dt span.term { - font-style: normal; + font-weight: bold; } div.variablelist dd p { @@ -354,12 +375,12 @@ div.revhistory { div.revhistory table, div.revhistory th, div.revhistory td { border-collapse: collapse; - border: 1px solid #0080ff; + border: 1px solid #808080; padding: 0.25em; } div.revhistory th { - color: #0080ff; + color: black; } /* Keep TOC and index lines close together. */ @@ -382,34 +403,6 @@ div.informaltable p { margin: 0px; } -/* -div.table table, -div.informaltable table -{ - margin-left: 0; - margin-right: 0.25em; - margin-bottom: 0.25em; -} -div.informaltable table -{ - margin-top: 0.4em -} -div.table thead, -div.table tfoot, -div.table tbody, -div.informaltable thead, -div.informaltable tfoot, -div.informaltable tbody -{ - /* No effect in IE6. */ - 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