|
- :link, :visited { color: #3a5; }
- :link:hover, :visited:hover { color: #a2d; }
-
- body, th, td {
- font-family: 'Bitstream Vera Serif',times,serif;
- }
-
- h1, h2, h3, h4 {
- font-family: 'Bitstream Vera Serif',times,serif;
- }
-
- #mainnav {
- font-family: 'Bitstream Vera Serif',times,serif;
- }
-
- #mainnav :link, #mainnav :visited {
- padding-left: 8px; padding-right: 8px;
- }
-
- h1, h2, h3 {
- text-indent: 0.5em;
- border-style: solid;
- border-color: #88aa77;
- background-color: inherit;
- }
-
- h1 {
- font-size: 1.6em;
- font-variant: small-caps;
- color: #002200;
- border-width: 0 0 2px 0;
- }
-
- h2 {
- font-size: 1.3em;
- font-variant: small-caps;
- color: #224422;
- border-width: 0 0 2px 0;
- }
-
- h3 {
- font-size: 1.1em;
- color: #335533;
- border-width: 0 0 1px 0;
- }
-
- p {
- text-indent: 1em;
- text-align: inherit;
- }
-
- #footer {
- display: none;
- }
-
- /* Styles for images in documentation and articles */
-
- img.inline, img.inlinetop {
- border: solid 2px #88aa77;
- padding: 2px;
- }
-
- img.inlinetop {
- vertical-align: top;
- }
-
- img.math {
- vertical-align: middle;
- margin-left: 10px;
- margin-right: 10px;
- }
-
- img.matrix {
- vertical-align: top;
- margin-right: 30px;
- margin-top: 10px;
- }
|