/* 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; }