/*
CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
*/
@font-face {
font-family: 'Open Sans';
src: url('fonts/OpenSans-Regular.ttf');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'Open Sans';
src: url('fonts/OpenSans-Italic.ttf');
font-weight: normal;
font-style: italic;
}
@font-face {
font-family: 'Open Sans';
src: url('fonts/OpenSans-Semibold.ttf');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'Open Sans';
src: url('fonts/OpenSans-SemiboldItalic.ttf');
font-weight: bold;
font-style: italic;
}
@font-face {
font-family: 'DejaVu Sans Mono';
src: url('fonts/DejaVuSansMono.ttf');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'DejaVu Sans Mono';
src: url('fonts/DejaVuSansMono-Oblique.ttf');
font-weight: normal;
font-style: oblique;
}
@font-face {
font-family: 'DejaVu Sans Mono';
src: url('fonts/DejaVuSansMono-Bold.ttf');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'DejaVu Sans Mono';
src: url('fonts/DejaVuSansMono-BoldOblique.ttf');
font-weight: bold;
font-style: oblique;
}
body {
font-family: "Open Sans",sans-serif;
font-size: 12pt;
}
code, pre {
font-family: "DejaVu Sans Mono", monospace;
}
span.strong {
font-weight: bold;
}
body blockquote {
margin-top: .75em;
line-height: 1.5;
margin-bottom: .75em;
}
html body {
margin: 1em 5% 1em 5%;
line-height: 1.2;
}
body div {
margin: 0;
}
a:link {
color: #78079a;
}
a:visited {
color: #78079a;
}
h1, h2, h3, h4, h5, h6
{
color: #78079a;
font-family: "Open Sans",sans-serif;
}
div.revhistory table {
width: 50%;
border-width: 1px;
}
div titlepage {
margin-top: 100px;
border-top: 2px;
}
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: #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 #808080;
}
body h2 {
margin: 0.5em 0 0 -4%;
line-height: 1.3;
border-bottom: 2px solid #808080;
}
body h3 {
margin: .8em 0 0 -3%;
line-height: 1.3;
}
body h4 {
margin: .8em 0 0 -3%;
line-height: 1.3;
border-top: 2px solid #808080;
}
body h5 {
margin: .8em 0 0 -2%;
line-height: 1.3;
}
body h6 {
margin: .8em 0 0 -1%;
line-height: 1.3;
}
body hr {
border: none; /* Broken on IE6 */
}
div.footnotes hr {
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: #78079a;
}
div.navheader img, div.navfooter img {
border-style: none;
}
div.navheader a, div.navfooter a {
font-weight: normal;
}
div.navfooter hr {
border: 1px solid #808080;
}
body td {
line-height: 1.2
}
body th {
line-height: 1.2;
}
ol {
line-height: 1.2;
}
ul, body dir, body menu {
line-height: 1.2;
}
html {
margin: 0;
padding: 0;
}
body h1, body h2, body h3, body h4, body h5, body h6 {
margin-left: 0
}
body pre {
margin: 0.5em 10% 0.5em 1em;
line-height: 1.0;
}
tt.literal, code.literal {
}
.programlisting, .screen {
border: 1px solid #808080;
background: #f4f4f4;
margin: 0.5em 10% 0.5em 0;
padding: 0.5em 1em;
}
div.sidebar {
background: #ffffee;
margin: 1.0em 10% 0.5em 0;
padding: 0.5em 1em;
border: 1px solid #808080;
}
div.sidebar * { padding: 0; }
div.sidebar div { margin: 0; }
div.sidebar p.title {
margin-top: 0.5em;
margin-bottom: 0.2em;
}
div.bibliomixed {
margin: 0.5em 5% 0.5em 1em;
}
div.glossary dt {
font-weight: bold;
}
div.glossary dd p {
margin-top: 0.2em;
}
dl {
margin: .8em 0;
line-height: 1.2;
}
dt {
margin-top: 0.5em;
}
dt span.term {
font-weight: bold;
}
div.variablelist dd p {
margin-top: 0;
}
div.itemizedlist li, div.orderedlist li {
margin-left: -0.8em;
margin-top: 0.5em;
}
ul, ol {
list-style-position: outside;
}
div.sidebar ul, div.sidebar ol {
margin-left: 2.8em;
}
div.itemizedlist p.title,
div.orderedlist p.title,
div.variablelist p.title
{
margin-bottom: -0.8em;
}
div.revhistory {
border-style: none;
}
div.revhistory table, div.revhistory th, div.revhistory td {
border-collapse: collapse;
border: 1px solid #808080;
padding: 0.25em;
}
div.revhistory th {
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
{
line-height: normal;
margin-top: 0;
margin-bottom: 0;
}
/*
Table styling does not work because of overriding attributes in
generated HTML.
*/
div.table-contents p,
div.informaltable p
{
margin: 0px;
}
div.table thead, div.table tfoot,
div.informaltable thead, div.informaltable tfoot
{
font-weight: bold;
}
div.mediaobject img {
margin-bottom: 0.8em;
}
div.figure p.title,
div.table p.title
{
margin-top: 1em;
margin-bottom: 0.4em;
}
div.calloutlist p
{
margin-top: 0em;
margin-bottom: 0.4em;
}
a img {
border-style: none;
}
@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; }