--- /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;
+}