projects
/
fw
/
altos
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
doc: Reformat html versions a bit
[fw/altos]
/
doc
/
am.css
diff --git
a/doc/am.css
b/doc/am.css
index 7723b14acc22c89ee76dd8919652f28e569a0427..05889a16386a3f5f624d64bb8eaf861d4dcb7ef7 100644
(file)
--- a/
doc/am.css
+++ b/
doc/am.css
@@
-87,16
+87,16
@@
body div {
}
a:link {
}
a:link {
- color: #
0080ff
;
+ color: #
78079a
;
}
a:visited {
}
a:visited {
- color: #
0080ff
;
+ color: #
78079a
;
}
h1, h2, h3, h4, h5, h6
{
}
h1, h2, h3, h4, h5, h6
{
- color: #
0080ff
;
+ color: #
78079a
;
font-family: "Open Sans",sans-serif;
}
font-family: "Open Sans",sans-serif;
}
@@
-119,20
+119,45
@@
div.warning p, div.note p, div.error p {
margin-left: 5%;
}
margin-left: 5%;
}
-
div.toc
{
+
h3.corpauthor img
{
position: fixed;
left: 0px;
top: 0px;
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;
float: left;
- border-right: 2px solid #
0080ff
;
+ border-right: 2px solid #
808080
;
border-collapse: collapse;
overflow: auto;
}
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;
}
div.toc a:link {
text-decoration: none;
}
@@
-178,15
+203,11
@@
div.table-contents table {
margin-right: auto;
}
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;
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;
}
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;
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;
}
body h2 {
margin: 0.5em 0 0 -4%;
line-height: 1.3;
- border-bottom: 2px solid
silver
;
+ border-bottom: 2px solid
#808080
;
}
body h3 {
}
body h3 {
@@
-211,7
+232,7
@@
body h3 {
body h4 {
margin: .8em 0 0 -3%;
line-height: 1.3;
body h4 {
margin: .8em 0 0 -3%;
line-height: 1.3;
- border-top: 2px solid
silver;goog
+ border-top: 2px solid
#808080;
}
body h5 {
}
body h5 {
@@
-228,14
+249,14
@@
body hr {
border: none; /* Broken on IE6 */
}
div.footnotes 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;
}
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;
}
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 {
font-weight: normal;
}
div.navfooter hr {
- border: 1px solid
silver
;
+ border: 1px solid
#808080
;
}
body td {
}
body td {
@@
-281,7
+302,7
@@
tt.literal, code.literal {
}
.programlisting, .screen {
}
.programlisting, .screen {
- border: 1px solid
silver
;
+ border: 1px solid
#808080
;
background: #f4f4f4;
margin: 0.5em 10% 0.5em 0;
padding: 0.5em 1em;
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;
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; }
}
div.sidebar * { padding: 0; }
div.sidebar div { margin: 0; }
@@
-321,7
+342,7
@@
dt {
}
dt span.term {
}
dt span.term {
- font-
style: normal
;
+ font-
weight: bold
;
}
div.variablelist dd p {
}
div.variablelist dd p {
@@
-354,12
+375,12
@@
div.revhistory {
div.revhistory table, div.revhistory th, div.revhistory td {
border-collapse: collapse;
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 {
padding: 0.25em;
}
div.revhistory th {
-
color: #0080ff
;
+
color: black
;
}
/* Keep TOC and index lines close together. */
}
/* Keep TOC and index lines close together. */
@@
-402,10
+423,10
@@
div.informaltable tfoot,
div.informaltable tbody
{
/* No effect in IE6. */
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-top: 1px solid #
78079a
;
+ border-bottom: 1px solid #
78079a
;
+ border-left: 1px solid #
78079a
;
+ border-right: 1px solid #
78079a
!important;
border-width: 1px !important;
}
*/
border-width: 1px !important;
}
*/