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
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