}
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;
}
border-top: 2px;
}
-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.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%;
+}
+
+h3.corpauthor img {
+ position: fixed;
+ left: 0px;
+ top: 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 #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;
+}
+
+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.example p.title,
div.sidebar p.title
{
font-weight: normal;
- color: #0080ff;
+ color: #78079a;
font-family: "Open Sans",sans-serif;
margin-bottom: 0.2em;
}
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 {
body h4 {
margin: .8em 0 0 -3%;
line-height: 1.3;
- border-top: 2px solid silver;goog
+ border-top: 2px solid #808080;
}
body h5 {
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;
font-weight: normal;
}
div.navfooter hr {
- border: 1px solid silver;
+ border: 1px solid #808080;
}
body td {
}
.programlisting, .screen {
- border: 1px solid silver;
+ border: 1px solid #808080;
background: #f4f4f4;
margin: 0.5em 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; }
}
dt span.term {
- font-style: normal;
+ font-weight: bold;
}
div.variablelist dd p {
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 #808080;
+ padding: 0.25em;
}
+
div.revhistory th {
- color: #0080ff;
+ color: black;
}
/* Keep TOC and index lines close together. */
Table styling does not work because of overriding attributes in
generated HTML.
*/
-div.table table,
-div.informaltable table
+div.table-contents p,
+div.informaltable p
{
- margin-left: 0;
- margin-right: 5%;
- margin-bottom: 0.8em;
-}
-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: 3px solid #527bbd;
- border-bottom: 3px solid #527bbd;
+ margin: 0px;
}
+
div.table thead, div.table tfoot,
div.informaltable thead, div.informaltable tfoot
{