body {
font-family: "Open Sans",sans-serif;
font-size: 12pt;
+ margin: 0;
}
code, pre {
margin-bottom: .75em;
}
-html body {
- margin: 1em 5% 1em 5%;
- line-height: 1.2;
-}
-
-body div {
- margin: 0;
-}
-
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;
}
-div.revhistory table {
- width: 50%;
- border-width: 1px;
+div#content, div#header, div#footer {
+ margin-left: 440px;
+ margin-right: 2em;
+ margin-top: 2em;
+ margin-bottom: 2em;
}
-div titlepage {
- margin-top: 100px;
- border-top: 2px;
+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: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;
- font-family: "Open Sans",sans-serif;
- margin-bottom: 0.2em;
+div#logo img {
+ position: fixed;
+ left: 0px;
+ top: 0px;
+ width: 410px;
+ height: 92px;
+ margin-top: 0px;
+ margin-bottom: 0px;
+ border-right: 2px solid #808080;
+ border-bottom: 2px solid #808080;
+}
+
+td.icon {
+ width: 4em;
+ height: 3em;
+}
+
+td.icon img {
+ height: 100%;
+ width: 100%
+}
+
+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.details {
+ padding-top: 1em;
+ padding-left: 3em;
+}
+
+span.author {
+ font-weight: bold;
+ color: #78079a;
+}
+
+span.email {
+ font-size: 10pt;
+}
+
+span#revnumber {
+ font-size: 8pt;
+}
+
+span#revdate {
+ font-size: 8pt;
+}
+
+span#revremark {
+ font-size: 8pt;
+}
+
+div#footer {
+ border-top: 2px solid #808080;
}
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
}
body h5 {
body hr {
border: none; /* Broken on IE6 */
}
-div.footnotes hr {
- border: 1px solid silver;
-}
-
-div.navheader th, div.navheader td, div.navfooter td {
- font-family: "Open Sans",sans-serif;
- font-size: 12pt;
- font-weight: normal;
- color: #0080ff;
-}
-div.navheader img, div.navfooter img {
- border-style: none;
-}
-div.navheader a, div.navfooter a {
- font-weight: normal;
-}
-div.navfooter hr {
- border: 1px solid silver;
-}
body td {
line-height: 1.2
line-height: 1.2;
}
-html {
- margin: 0;
- padding: 0;
-}
-
body h1, body h2, body h3, body h4, body h5, body h6 {
margin-left: 0
}
}
.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. */
-div.toc dl, div.toc dt,
-div.list-of-figures dl, div.list-of-figures dt,
-div.list-of-tables dl, div.list-of-tables dt,
-div.indexdiv dl, div.indexdiv dt
+div.toc dl, div.toc dt
{
line-height: normal;
margin-top: 0;
margin-bottom: 0;
}
-/*
- Table styling does not work because of overriding attributes in
- generated HTML.
-*/
-div.table table,
-div.informaltable table
-{
- margin-left: 0;
- margin-right: 5%;
- margin-bottom: 0.8em;
+div.admonitionblock {
+ margin-top: 2em;
+ margin-bottom: 2em;
+ margin-left: 2em;
+ margin-right: 2em;
}
-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;
+
+div.admonitionblock div {
+ margin-left: 0em;
+ margin-right: 1em;
+}
+
+div.admonitionblock div.title {
+ color: #c70909;
+ font-style: bold;
+ font-size: 24pt;
}
-div.table thead, div.table tfoot,
-div.informaltable thead, div.informaltable tfoot
-{
- font-weight: bold;
+
+div#content table.tableblock {
+ border-style: solid;
+ border-width: 1px;
+ border-collapse: collapse;
}
-div.mediaobject img {
- margin-bottom: 0.8em;
+div#content table.tableblock td,th {
+ border-right-style: solid;
+ border-right-width: 1px;
}
-div.figure p.title,
-div.table p.title
-{
- margin-top: 1em;
- margin-bottom: 0.4em;
+
+div#content table.tableblock tbody p {
+ margin-top: 0.25em;
+ margin-bottom: 0.25em;
+ margin-left: 0.25em;
+ margin-right: 0.25em;
}
-div.calloutlist p
-{
- margin-top: 0em;
- margin-bottom: 0.4em;
+div#content table.tableblock tbody tr:nth-child(odd) {
+ background: #cccccc;
+}
+
+div.imageblock{
+ margin-top: 1em;
+ margin-bottom: 1em;
}
-a img {
- border-style: none;
+div.imageblock img {
+ margin-bottom: 0.5em;
}
@media print {
div.navheader, div.navfooter { display: none; }
}
-
-span.aqua { color: aqua; }
-span.black { color: black; }
-span.blue { color: blue; }
-span.fuchsia { color: fuchsia; }
-span.gray { color: gray; }
-span.green { color: green; }
-span.lime { color: lime; }
-span.maroon { color: maroon; }
-span.navy { color: navy; }
-span.olive { color: olive; }
-span.purple { color: purple; }
-span.red { color: red; }
-span.silver { color: silver; }
-span.teal { color: teal; }
-span.white { color: white; }
-span.yellow { color: yellow; }
-
-span.aqua-background { background: aqua; }
-span.black-background { background: black; }
-span.blue-background { background: blue; }
-span.fuchsia-background { background: fuchsia; }
-span.gray-background { background: gray; }
-span.green-background { background: green; }
-span.lime-background { background: lime; }
-span.maroon-background { background: maroon; }
-span.navy-background { background: navy; }
-span.olive-background { background: olive; }
-span.purple-background { background: purple; }
-span.red-background { background: red; }
-span.silver-background { background: silver; }
-span.teal-background { background: teal; }
-span.white-background { background: white; }
-span.yellow-background { background: yellow; }
-
-span.big { font-size: 2em; }
-span.small { font-size: 0.6em; }
-
-span.underline { text-decoration: underline; }
-span.overline { text-decoration: overline; }
-span.line-through { text-decoration: line-through; }