summaryrefslogtreecommitdiff
path: root/utility.css
blob: 14357b4da0219c50314844163c21abc12296236a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
body {
	margin : 2em;
	padding : 0em;
	font-family : sans-serif;
	font-size : 12px;
}

p.warning {
	color : red;
}

p.query, code {
	color : green;
}

p.insensitive {
	color : gray;
}

.floatingLogo {
	float : right;
}

a {
	color : #4684ff;
	text-decoration : none;
}

a:hover {
	color : black;
}

div.notice {
	background : #ffffff;
	border : 1px solid #88b0f0;
	width : 50%;
	padding : 5px;
	margin : 0px 0px 5px 0px;
	font-size : 9pt;
}

div.warning {
	background : #fff7d5;
	border : 1px solid #d7c47a;
	font-size : 9pt;
	width : 50%;
	padding : 5px;
	margin : 0px 0px 5px 0px;
}


div.warning img, div.notice img, div.error img {
	vertical-align : middle;
	padding : 5px;
}

div.error {
	border : 1px solid #ff0000;
	background : #ffcccc;
	padding : 5px;
	margin : 0px 0px 5px 0px;
	font-size : 9pt;
}

h1 {
	color : #88b0f0;
	font-size : 16pt;
/*	border-width : 0px 0px 1px 0px;
	border-color : black;
	border-style : solid; */
}

h2 {
	color : #88b0f0;
	font-size : 14pt;
/*	border-width : 0px 0px 1px 0px;
	border-color : black;
	border-style : solid; */
}

div.rss h1 {
	border-width : 0px 0px 1px 0px;
	border-color : gray;
	border-style : dotted;
	color : gray;
	margin-right : 90px;
}

div.rss h2 {
	font-size : 12pt;
	margin : 0px;
}

div.rss a.extlink {
	color : gray;
	border-width : 0px 0px 1px 0px;
	border-color : #778899;
	border-style : dotted;
	font-size : 9pt;
}

div.rss p.description {
	color : gray;
	font-size : 9pt;
}

div.rss div.content {
	margin-top : 0.5em;
}

div.rss img.feedicon {
	float : right;
}

div.rss hr {
	border-width : 0px 0px 1px 0px;
	border-style : dashed;
	border-color : #e0e0e0;
}