blob: 5424388b1a911a9c30f9f64ec5fe5682afa608ed (
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
122
123
|
html, body{
margin: 0px;
padding: 0px;
font-family: 'Lucida Grande', Verdana, Geneva, Lucida, Helvetica, Arial, sans-serif;
font-weight: normal;
}
#header {
font-size:25px;
font-weight:bold;
color: #666;
}
.logo{
width: 204px;
height:100px;
background-image: url('imgs/pradologo.gif');
background-repeat: no-repeat;
float: left;
}
.mantisbg{
width: 221px;
height: 100px;
background-image: url('imgs/mantisbg.jpg');
background-repeat: no-repeat;
float: right;
}
.mainmenu {
padding:10px;
padding-right:10px;
background:#EDEDED;
border-bottom: 1px solid #A6A6A6;
border-top: 1px solid #DCDCDC;
color:white;
text-align:right;
font-size: 10pt;
}
.mainmenu a {
color:#737373;
text-decoration:none;
}
.mainmenu a:hover {
color: #FF0000;
}
#toc {
background-color: #F3F3F3;
width:220px;
padding:0px 10px 0px 10px;
float: left;
}
#content {
padding: 1em 1em 1em 1em;
line-height: 135%;
float: left;
}
.topic {
font-size: 9pt;
padding: 0px 0px 0px 0px;
}
.topic div {
background-image: url('imgs/arrowdown.gif');
background-repeat: no-repeat;
background-position: left center;
margin: 0px;
font-size: 8pt;
font-weight:bold;
color:#2A480A;
padding: 5px;
padding-left: 15px;
border-top: 1px solid #fff;
border-bottom: 1px solid #E2E2E2;
}
.topic ul
{
margin: 0px;
padding: 0px;
}
.topic ul li
{
list-style: none;
margin: 0px;
padding: 5px;
padding-left: 15px;
border-bottom: 1px dotted #D8D8D8;
}
.topic a {
color:#4F811A;
font-size: 8pt;
text-decoration: none;
}
.topic a:hover {
color:#2A480A;
}
/* form styles */
.form_row{
margin: 10px;
}
.in_text{
width: 250px;
}
#footer {
clear:both;
color: gray;
font-size:8pt;
text-align:center;
margin-top:25px;
padding:10px;
}
|
