File: CrystalStyle.css

package info (click to toggle)
openlayer 2.1-2.1
  • links: PTS
  • area: main
  • in suites: bullseye, buster, stretch
  • size: 3,392 kB
  • ctags: 2,317
  • sloc: ansic: 10,433; cpp: 9,890; xml: 109; makefile: 90; sh: 36
file content (108 lines) | stat: -rw-r--r-- 1,637 bytes parent folder | download | duplicates (2)
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
div.blogentryheader {
	font-family: trebuchet, sans-serif;
	text-align: left;
	font-size: 130%;
	border-style: dotted;
	letter-spacing: 3px;
	border-style: dotted;
	border-width: 1px;
	vertical-align: middle;
	padding-left: 8px;
	color: #331100
}

div.blogentrybody {
	font-family: trebuchet, sans-serif;
	text-align: left;
	padding-top: 10px;
	color: #333333
}

div.buttonstyle {
	margin-left: 5px;
	margin-right: 5px;
}

div.linkbarstyle {
	border-bottom-style: dotted;
	border-bottom-width: 1px;
}

div.languageselection {
	font-size: 9px;
	text-align: right;
}

div {
	font-family: trebuchet, sans-serif;
	color: #333333;
}

div.SmallHeader {
	font-style: italic;
}

div.MediumHeader {
	font-style: italic;
	font-size: larger;
}

div.BigHeader {
	font-size: 36px;
}

div.Surrounded {
	border-style: dotted;
	border-width: 1px;
	border-spacing: 10px;
	padding: 10px;
}

div.Code {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: smaller;
}

div.LargeCode {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}

div.FuncDef {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}

div.SyntaxColored {
	color: #777733;
}


div.TopLined {
	font-family: trebuchet, sans-serif;
	color: #333333;
	border-top-style: dotted;
	border-top-width: 1px;
}

div.smalltext {
	font-family: trebuchet, sans-serif;
	color: #777799;
	font-size: small;
}

div.BiggerText {
	font-size: larger;
}

a {
	color: #777777;
	text-decoration: none;
}

a.active {
	color: #8381A3;
	text-decoration: none;
}

a:hover {
	color: #000000;
}