diff options
Diffstat (limited to 'saxonhe9-2-0-3j/doc/saxondocs.css')
| -rw-r--r-- | saxonhe9-2-0-3j/doc/saxondocs.css | 228 |
1 files changed, 0 insertions, 228 deletions
diff --git a/saxonhe9-2-0-3j/doc/saxondocs.css b/saxonhe9-2-0-3j/doc/saxondocs.css deleted file mode 100644 index 681c337..0000000 --- a/saxonhe9-2-0-3j/doc/saxondocs.css +++ /dev/null @@ -1,228 +0,0 @@ -
-
-/*
-Text blue: #3D5B96
-Dark blue: #c1cede
-Mid blue: #e4eef0
-Light blue: #f6fffb
-mid green #B1CCC7
-rust #96433D
-*/
-
-/* used for frameset holders */
-.bgnd {
- margin-top:0;
- margin-left:0;
- background: #f6fffb;
- }
-
-/* used for menu */
-
-.menu {
- background: #f6fffb;
- margin-top:20;
- margin-left:40;
- SCROLLBAR-FACE-COLOR: #c1cede;
- SCROLLBAR-HIGHLIGHT-COLOR: #e4eef0;
- SCROLLBAR-SHADOW-COLOR: #e4eef0;
- SCROLLBAR-ARROW-COLOR: #f6fffb;
- SCROLLBAR-BASE-COLOR: #e4eef0;
-}
-
-/* used for content pages */
-
-.main {
- background: #e4eef0;
- margin-top:10px;
- margin-left:5px;
- margin-right:5px;
- margin-bottom:20px;
- SCROLLBAR-FACE-COLOR: #c1cede;
- SCROLLBAR-HIGHLIGHT-COLOR: #e4eef0;
- SCROLLBAR-SHADOW-COLOR: #e4eef0;
- SCROLLBAR-ARROW-COLOR: #f6fffb;
- SCROLLBAR-BASE-COLOR: #e4eef0;
-}
-
-/* used for menu links */
-
-a {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 8pt;
- font-style:normal;
- color: #3D5B96;
- font-weight: normal;
- text-decoration: none;
-}
-
-/* used for in body links */
-
-a.bodylink {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 9pt;
- font-style:normal;
- color: #3D5B96;
- font-weight: normal;
- text-decoration: underline;
-}
-
-/* used for table of contents level 1 */
-
-a.toc1 {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 12pt;
- font-style:normal;
- color: #3D5B96;
- font-weight: bold;
- text-decoration: none;
-}
-
-/* used for table of contents level 2 */
-
-a.toc2 {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 10pt;
- font-style:normal;
- color: #3D5B96;
- font-weight: normal;
- text-decoration: none;
-}
-
-/* used for menu heading */
-.title {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 10pt;
- font-style:normal;
- color: #3D5B96;
- font-weight: bold;
- text-decoration: none;
- line-height: 1.3em;
-}
-
-/* used for main page headings */
-
-
-h1 {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 14pt;
- font-style: normal;
- color: #3D5B96;
- font-weight: bold;
- text-decoration: none;
- }
-
-/* used for subheads in pref. to H2 etc, to limit underlining width */
-
-.subhead {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 10pt;
- font-style: normal;
- color: #3D5B96;
- font-weight: bold;
- text-decoration: none;
- border-bottom : thin dashed #3D5B96;
- padding-right : 5px;
-}
-
-/* used for standard text */
-
-p {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 9pt;
- font-style: normal;
- color: #3D5B96;
- font-weight: normal;
- text-decoration: none;
- line-height: 1.3em;
- padding-right:15px;
-}
-
-code {
- font-family: lucida sans typewriter, courier, monospace;
- font-size: 8pt;
- font-style: normal;
- font-weight: normal;
- text-decoration: none;
- line-height: 1.3em;
-}
-
-ul {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 9pt;
- font-style: normal;
- color: #3D5B96;
- font-weight: normal;
- text-decoration: none;
-}
-
-li {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 9pt;
- font-style: normal;
- color: #3D5B96;
- font-weight: normal;
-
-}
-
-/* used for text in boxed areas */
-
-.boxed {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 8pt;
- font-style: normal;
- color: #96433D;
- font-weight: bold;
- text-decoration: none;
- margin-top:5px;
- margin-bottom:5px;
-}
-
-/* used for example code */
-
-.codeblock {
- background: #B1CCC7;
- /*background: #e4eef0;*/
- font-family: lucida sans typewriter, courier, monospace;
- font-size: 8pt;
- font-style: normal;
- color: #96433D;
- font-weight: normal;
- text-decoration: none;
- padding-right:15px;
-}
-
-/* used for example commands */
-
-.command {
- font-size: 8pt;
- font-style: normal;
- color: #96433D;
- font-weight: bold;
- text-decoration: none;
- padding-right:15px;
-}
-
-
-
-/* used for links in boxed areas */
-
-a.rust {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 8pt;
- font-style:normal;
- color: #96433D;
- font-weight: bold;
- text-decoration: underline;
-}
-
-/* used for links at the end of a page */
-
-a.nav {
- font-family: Verdana, Arial, Helvetica, sans-serif;
- font-size: 8pt;
- font-style:normal;
- color: #96433D;
- font-weight: bold;
-}
-
-
|