michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: /* The book style must be the first style for our JavaScript to work */
michael@0: book {
michael@0:   display: block;
michael@0:   padding-left: 2em;
michael@0:   padding-right: 2em;
michael@0:   padding-top: 8px;
michael@0:   font-size: 12pt;
michael@0:   background-color: lightyellow;
michael@0:   font-family: Arial;
michael@0: }
michael@0: 
michael@0: book title {
michael@0:   font-weight: bold;
michael@0:   font-size: 24pt;
michael@0:   display: block;
michael@0:   text-align: center;
michael@0:   margin-top: 12pt;
michael@0:   margin-bottom: 3pt;
michael@0: }
michael@0: 
michael@0: book subtitle {
michael@0:   display: block;
michael@0:   font-size:12pt;
michael@0:   text-align: center;
michael@0: }
michael@0: 
michael@0: book abstract {
michael@0:   display: block;
michael@0:   margin-top: 3pt;
michael@0: }
michael@0: 
michael@0: input {
michael@0:    display: block;
michael@0:    margin-left: auto;
michael@0:    margin-right: auto;
michael@0: }
michael@0: 
michael@0: chapter {
michael@0:   display: block;
michael@0: }
michael@0: 
michael@0: chapter title {
michael@0:   font-weight: bold;
michael@0:   font-size: 16pt;
michael@0:   display: block;
michael@0:   text-align: left;
michael@0:   margin-top: 12pt;
michael@0:   margin-bottom: 3pt;
michael@0: }
michael@0: 
michael@0: section {
michael@0:   display: block;
michael@0: }
michael@0: 
michael@0: section title {
michael@0:   display: block;
michael@0:   font-size: 10pt;
michael@0:   text-align: left;
michael@0:   margin-top: 12pt;
michael@0:   margin-bottom: 3pt;
michael@0: }
michael@0: 
michael@0: contents {
michael@0:   display: block;
michael@0: }
michael@0: 
michael@0: para {
michael@0:   display: block;
michael@0:   margin-bottom: auto;
michael@0:   margin-top: auto;
michael@0:   font-size:11pt;
michael@0: }
michael@0: 
michael@0: link {
michael@0:   display: inline;
michael@0:   color: blue;
michael@0:   text-decoration: underline;
michael@0:   cursor: pointer;
michael@0: }
michael@0: 
michael@0: list {
michael@0:   display: block;
michael@0:   margin-right: 0;
michael@0:   margin-bottom: auto;
michael@0:   margin-top: auto;
michael@0:   list-style-type: disc;
michael@0:   margin-left: 40px;
michael@0: }
michael@0: 
michael@0: listitem {
michael@0:   display: list-item;
michael@0:   list-style-position: inside;
michael@0: }
michael@0: 
michael@0: emph {
michael@0:   font-style: italic;
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: ref {
michael@0:   font-style: italic;
michael@0: }
michael@0: 
michael@0: heading {
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: navbar {
michael@0:    font-family: Arial;
michael@0:    font-size: 10pt;
michael@0:    display: block;
michael@0:    float: right;
michael@0:    background-color: #CCE6F3;
michael@0:    color: darkblue;
michael@0:    width: 10em;
michael@0:    margin-right: 0.5em;
michael@0: }
michael@0: 
michael@0: navbar title {
michael@0:    font-size: 10pt;
michael@0:    display: block;
michael@0:    background-color: black;
michael@0:    color: white;
michael@0:    margin-bottom:0px;
michael@0: }
michael@0: 
michael@0: navbar content {
michael@0:    display: block;
michael@0:    padding: 0.3em;
michael@0:    border: 1px solid black;
michael@0:    font-size: 9pt;
michael@0: }
michael@0: