File: style.css

package info (click to toggle)
cadencii 3.3.9%2Bsvn20110818.r1732-2
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd, wheezy
  • size: 35,764 kB
  • ctags: 26,929
  • sloc: cs: 160,836; java: 42,449; cpp: 7,605; ansic: 1,728; perl: 1,087; makefile: 236; php: 142; xml: 117; sh: 21
file content (76 lines) | stat: -rw-r--r-- 1,589 bytes parent folder | download | duplicates (6)
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
h2{
    height: 1.4em;
    font-family:Verdana,sans-serif;
    font-weight: bold;
    font-size: x-large;
    color: rgb(0,0,0);
    background-color: rgb(180,180,180);
    border-top:solid 1px;
    border-left:solid 5px;
    border-bottom:solid 3px;
    border-right:solid 3px;
    border-color: rgb(0,0,0);
    padding-left: 0.25em;
}
h4{
    height: 1.3em;
    font-family:Verdana,sans-serif;
    font-weight: bold;
    font-size: large;
    color: rgb(0,0,0);
    //background-color: rgb(180,180,180);
    //border-top:solid 1px;
    //border-left:solid 1px;
    //border-bottom:solid 3px;
    //border-right:solid 3px;
    //border-color: rgb(0,0,0);
}
h3{
    height: 1.4em;
    font-family:Verdana,sans-serif;
    font-weight: bold;
    font-size: x-large;
    color: rgb(0,0,0);
    //background-color: rgb(180,180,180);
    border-top: solid 0px;
    border-left: solid 5px;
    border-bottom:solid 1px;
    border-right: solid 0px;
    border-color: rgb(100,100,100);
    padding-left: 0.25em;
}
body,td{
    font-size:0.95em;
    font-family:Verdana,sans-serif;
}
img{
    border:solid 2px;
    margin-right:10px;
}
p.article{
    padding-left:30pt;
}
.indent{
    padding-left:30pt;
}
.title{
    background-color: rgb(180,180,180);
}
dt{
    font-weight: bold;
}
.source{
    font-family: monospace;
    border: solid 1px;
    background-color: rgb(220, 220, 220);
    padding: 10px;
}
.comment{
    color: rgb(0, 128, 0);
}
.saved{
    color: rgb(0, 0, 255);
}
span{
    color: rgb(0, 0, 255);
}