- body
- {
- background: white;
- margin: 0.5in;
- font-family: arial,helvetica,sans-serif;
- }
-
- h1.title
- {
- font-size: 250%;
- font-style: normal;
- font-weight: bold;
- color: black;
- }
-
- h2.subtitle
- {
- font-size: 150%;
- font-style: italic;
- color: black;
- }
-
- h2.title
- {
- font-size: 150%;
- font-style: normal;
- font-weight: bold;
- color: black;
- }
-
- h3.title
- {
- font-size: 125%;
- font-style: normal;
- font-weight: bold;
- color: black;
- }
-
- h4.title
- {
- font-size: 100%;
- font-style: normal;
- font-weight: bold;
- color: black;
- }
-
- .toc b
- {
- font-size: 125%;
- font-style: normal;
- font-weight: bold;
- color: black;
- }
-
- p,li,ul,ol,dd,dt
- {
- font-style: normal;
- font-weight: normal;
- color: black;
- }
-
- tt,pre
- {
- font-family: courier new,courier,fixed;
- }
-
- .term
- {
- font-family: courier new,courier,fixed;
- }
-
- .command, .screen, .programlisting
- {
- font-family: courier new,courier,fixed;
- font-style: normal;
- font-weight: normal;
- }
-
- .filename
- {
- font-family: arial,helvetica,sans-serif;
- font-style: italic;
- }
-
- a
- {
- color: blue;
- text-decoration: underline;
- }
-
- a:hover
- {
- background: rgb(75%,75%,100%);
- color: blue;
- text-decoration: underline;
- }
-
- a:visited
- {
- color: purple;
- text-decoration: underline;
- }
-
- img
- {
- border: none;
- }
-
- .figure, .example, .table
- {
- margin: 0.125in 0.5in;
- }
-
- .table table
- {
- border-width: 1px;
- border-style: solid;
- border-color: black;
- border-spacing: 0;
- background: rgb(240,240,240);
- }
-
- .table td
- {
- border: none;
- border-right: 1px black solid;
- border-bottom: 1px black solid;
- padding: 2px;
- }
-
- .table th
- {
- background: rgb(180,180,180);
- border: none;
- border-right: 1px black solid;
- border-bottom: 1px black solid;
- padding: 2px;
- }
-
- .table p.title, .figure p.title, .example p.title
- {
- text-align: left !important;
- font-size: 100% !important;
- }
-
- .author
- {
- font-size: 100%;
- font-style: italic;
- font-weight: normal;
- color: black;
- }
-
- .sidebar
- {
- border-top: dotted 1px black;
- border-left: dotted 1px black;
- border-right: solid 2px black;
- border-bottom: solid 2px black;
- background: rgb(240,220,170);
- padding: 0 0.12in;
- margin: 0.5in;
- }
-
- .note .programlisting, .note .screen,
- .tip .programlisting, .tip .screen,
- .warning .programlisting, .warning .screen,
- .sidebar .programlisting, .sidebar .screen
- {
- border: none;
- background: none;
- }
-
- .sidebar p.title
- {
- text-align: center;
- font-size: 125%;
- }
-
- .note
- {
- border: black solid 1px;
- background: url(./images/note.png) no-repeat rgb(252,246,220);
- margin: 0.12in 0;
- padding: 0 55px;
- }
-
- .tip
- {
- border: black solid 1px;
- background: url(./images/tip.png) no-repeat rgb(224,244,255);
- margin: 0.12in 0;
- padding: 0 55px;
- }
-
- .warning
- {
- border: black solid 1px;
- background: url(./images/warning.png) no-repeat rgb(255,210,210);
- margin: 0.12in 0;
- padding: 0 55px;
- }
-
- .programlisting, .screen
- {
- font-size: 90%;
- color: black;
- margin: 1em 0.5in;
- padding: 0.5em;
- background: rgb(240,240,240);
- border-top: black dotted 1px;
- border-left: black dotted 1px;
- border-right: black solid 2px;
- border-bottom: black solid 2px;
- }
-
- .navheader, .navfooter
- {
- border: black solid 1px;
- background: rgb(180,180,200);
- }
-
- .navheader hr, .navfooter hr
- {
- display: none;
- }