+++ /dev/null
-/*
- * $Id: intrafm.css,v 1.10 2002/12/04 17:57:21 gerry Exp $
- *
- * Author: Gerardo Poggiali <g.poggiali@develer.com>
- */
-
-body {
- font-family: sans-serif;
- background-color: #F0F0F8;
- color: #000000;
- margin-top: 0px;
- margin-left: 0px;
- margin-right: 0px;
-}
-
-a {
- color: #1010FF;
-}
-a:visited {
- color: #501080;
-}
-
-a.nonexistent {
- color: #D04040;
-}
-
-a.navlink {
- font-size: smaller;
-}
-
-a.external {
- font-style: italic;
-}
-
-h1 {
- font-size: x-large;
- font-weight: bold;
- color: #3377FF;
- border: #5599EE;
- background-color: #C2E2FF;
-
- margin-bottom: 5px;
- margin-top: 5px;
- padding-right: 10px;
- padding-left: 10px;
-
- border-top-width: 1px;
- border-bottom-width: 1px;
- border-right-width: 0px;
- border-left-width: 0px;
- border-style: solid;
-}
-
-h2 {
- font-size: large;
- font-weight: bold;
- color: #22AA33;
- border: #22AA33;
- background-color: #E8F8F0;
-
- margin-left: 5px;
- margin-right: 5px;
- margin-bottom: 5px;
- margin-top: 5px;
- padding-right: 10px;
- padding-left: 10px;
-
- border-top-width: 1px;
- border-bottom-width: 1px;
- border-left-width: 0px;
- border-right-width: 0px;
- border-style: solid;
-}
-
-h3 {
- font-size: large;
- font-weight: bold;
- color: #DD2255;
- border: #BB5599;
-
- margin-left: 10px;
- margin-right: 10px;
- padding-right: 5px;
- padding-left: 5px;
-
- border-top-width: 0px;
- border-bottom-width: 1px;
- border-right-width: 0px;
- border-left-width: 0px;
- border-style: solid;
-}
-
-h4 {
- font-size: medium;
- font-weight: bold;
- color: #2222AA;
-
- margin-left: 10px;
- margin-right: 10px;
- padding-right: 5px;
- padding-left: 5px;
-
- border: #333399;
- border-top-width: 0px;
- border-bottom-width: 1px;
- border-right-width: 0px;
- border-left-width: 0px;
- border-style: solid;
-}
-
-h5 {
- font-size: medium;
- font-weight: bold;
- color: #222288;
-
- margin-left: 10px;
- margin-right: 10px;
- padding-right: 5px;
- padding-left: 5px;
-}
-
-div {
- margin-left: 10px;
- margin-right: 10px;
- text-align: justify;
-}
-div.wiki {
- margin-left: 0;
- margin-right: 0;
-}
-
-div.preview {
- border: 2px dashed #FF0000;
-}
-
-div.navigator {
- border-color: #cc9933;
- background-color: #ffcc66;
- border-style: solid;
- border-top-width: 0px;
- border-bottom-width: 2px;
- border-left-width: 0px;
- border-right-width: 0px;
- padding-top: 5px;
- padding-bottom: 5px;
- padding-left: 5px;
- padding-right: 5px;
- margin-top: 0px;
- margin-bottom: 10px;
- margin-left: 0px;
- margin-right: 0px;
-}
-
-div.footer {
- font-size: smaller;
- color: #888888;
- border-color: black;
-
- margin-top: 10px;
- margin-left: 0px;
- margin-right: 0px;
-
- border-style: solid;
- border-top-width: 1px;
- border-right-width: 0px;
- border-bottom-width: 0px;
- border-left-width: 0px;
-
- text-align: right;
-}
-
-p.dialog {
- border-color: black;
- background-color: white;
- padding-left: 5px;
- margin-left: 10px;
- margin-right: 10px;
- border-style: solid;
- border-top-width: 1px;
- border-right-width: 1px;
- border-bottom-width: 1px;
- border-left-width: 1px
-}
-
-p {
- margin-left: 10px;
- margin-right: 10px;
- margin-bottom: 10px;
- text-align: justify;
-}
-
-caption {
- background-color: #4682B4;
- color: #FFFFFF;
- font-weight: bold;
- border: #000000;
- border-top-width: 1px;
- border-right-width: 1px;
- border-bottom-width: 0px;
- border-left-width: 1px;
- border-style: solid;
-}
-
-pre {
- color: #222222;
- border-color: #E9E609;
- background: #FFFDD0;
-
- margin-left: 10px;
- margin-right: 10px;
- padding-left: 5px;
- padding-right: 5px;
- padding-top: 5px;
- padding-bottom: 5px;
- border-style: solid;
- border-top-width: 1px;
- border-right-width: 1px;
- border-bottom-width: 1px;
- border-left-width: 1px;
-}
-
-pre.error {
- color: #FF0000;
- background: #000000;
- border-top-color: #FF0000;
- border-color: #FF0000;
- border-style: solid;
- border-width: 6px;
- margin: 0px;
-}
-
-pre.success {
- color: #00FF00;
- background: #000000;
- border-color: #00FF00;
- border-style: solid;
- border-width: 6px;
- margin: 0px;
-}
-
-pre.notice {
- color: #FFCC00;
- background: #000000;
- border-color: #FFCC00;
- border-style: solid;
- border-width: 6px;
- margin: 0px;
-}
-
-#editor {
- font-family: monospace;
- width: 100%;
- color: black;
- background-color: white;
- border: 1px solid #8cacbb;
-}