swish-e/pod/style.css


body {
 /*   font-family: helvetica, arial, sans-serif; */
        color: #000000; 
        background-color: #ffffff;
        margin: 1em 4em 0em 2em;
}

h1, h2, h3 {
    color: #005A9C;
}  


h1.banner {
    text-align: center;
    color: blue;
}


pre { 
        font-family: courier new, courier, monospace;
        color: #000000;
        /* these will screw up Netscape 4.08 */
        /*      border: solid; */
        /*  border-color: white white white blue; */
        /* border-left: dashed red; */
    
    }

code { 
        font-family: courier new, courier, monospace;
        /* font-size: 100%; */
    }

div.footer { 
        align: center;
        padding: .25em;
        font-size: 10pt;
}
    

div.notice { 
        align: center;
        padding: .25em; 
        border: dashed green;
}

div.ad { 
        padding: .25em; 
        margin: .25em;
        border: dashed red;
        color: #000000;
}

div.navbar { 
        align: center;
        padding: .25em; 
  /* border: thin dashed blue;
        color: blue; */
}

div.navbar {
    text-align: center;
}

div.navbar a {
    text-decoration: none;
    font-family: helvetica, arial, sans-serif;
}


div.toc a {
    text-decoration: none;
}


div.search { 
        text-align: center;
        padding: .25em; 
        #border: thin dashed blue;
    #   color: blue;
}

1	adcroft	1.1
2			body {
3			/* font-family: helvetica, arial, sans-serif; */
4			color: #000000;
5			background-color: #ffffff;
6			margin: 1em 4em 0em 2em;
7			}
8
9			h1, h2, h3 {
10			color: #005A9C;
11			}
12
13
14			h1.banner {
15			text-align: center;
16			color: blue;
17			}
18
19
20			pre {
21			font-family: courier new, courier, monospace;
22			color: #000000;
23			/* these will screw up Netscape 4.08 */
24			/* border: solid; */
25			/* border-color: white white white blue; */
26			/* border-left: dashed red; */
27
28			}
29
30			code {
31			font-family: courier new, courier, monospace;
32			/* font-size: 100%; */
33			}
34
35			div.footer {
36			align: center;
37			padding: .25em;
38			font-size: 10pt;
39			}
40
41
42			div.notice {
43			align: center;
44			padding: .25em;
45			border: dashed green;
46			}
47
48			div.ad {
49			padding: .25em;
50			margin: .25em;
51			border: dashed red;
52			color: #000000;
53			}
54
55			div.navbar {
56			align: center;
57			padding: .25em;
58			/* border: thin dashed blue;
59			color: blue; */
60			}
61
62			div.navbar {
63			text-align: center;
64			}
65
66			div.navbar a {
67			text-decoration: none;
68			font-family: helvetica, arial, sans-serif;
69			}
70
71
72			div.toc a {
73			text-decoration: none;
74			}
75
76
77			div.search {
78			text-align: center;
79			padding: .25em;
80			#border: thin dashed blue;
81			# color: blue;
82			}
83