← Back to branch summary

~ubuntu-branches/ubuntu/maverick/proguard/maverick

« back to all changes in this revision

Viewing changes to docs/style.css

  • Committer: Bazaar Package Importer
  • Author(s): Sam Clegg
  • Date: 2005-11-13 09:42:59 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20051113094259-432zf4yyw4890mmn
Tags: 3.4-1
http://bugs.debian.org/338355
* New upstream release (Closes: #338355)
* debian/control: bump standards version
* debian/copyright: update FSF address
* increase java stack size for proguard and proguardgui

Show diffs side-by-side

added added

removed removed

Lines of Context:
docs/style.css
3
3
 
4
4
/* Global settings. */
5
5
 
6
 
body {
 
6
body
 
7
{
7
8
  background: #FFFFFF;
8
9
}
9
10
 
10
 
h1 {
11
 
  text-align: center;
12
 
}
13
 
 
14
 
h2 {
15
 
  text-align: center;
16
 
}
17
 
 
18
 
h3 {
 
11
h1
 
12
{
 
13
  text-align: center;
 
14
}
 
15
 
 
16
h2
 
17
{
 
18
  text-align: center;
 
19
}
 
20
 
 
21
h3
 
22
{
19
23
  background: #EEEEFF;
20
24
  padding: 10px;
21
25
}
22
26
 
23
 
table {
 
27
table
 
28
{
24
29
  width: 100%;
25
30
}
26
31
 
27
 
th {
 
32
th
 
33
{
28
34
  padding: 4px;
29
35
}
30
36
 
31
 
td {
 
37
td
 
38
{
32
39
  background: #EEEEFF;
33
40
  padding: 8px;
34
41
}
35
42
 
36
 
img {
 
43
img
 
44
{
37
45
  border: none;
38
46
}
39
47
 
40
48
/* Settings for the introductory paragraph. */
41
49
 
42
 
p.intro {
 
50
p.intro
 
51
{
43
52
  background: #EEEEFF;
44
53
  padding: 10px;
45
54
  border: solid #000000 1px
46
55
}
47
56
 
48
 
/* Settings for the title and section frames. */
49
 
 
50
 
body.title {
51
 
  margin: 0px;
 
57
/* Settings for the title frame. */
 
58
 
 
59
body.title
 
60
{
 
61
  margin: 0px;
 
62
  padding: 0px;
 
63
  background: #C0C0C0;
 
64
}
 
65
 
 
66
div.title
 
67
{
 
68
  height: 48px;
 
69
  margin: 0px;
 
70
  padding: 0px;
 
71
  border-width: 1px;
 
72
  border-style: solid;
 
73
  border-color: #FFFFFF #808080 #808080 #FFFFFF;
 
74
  background: url("steel.gif"); 
 
75
}
 
76
 
 
77
div.title h1
 
78
{
 
79
  margin: 0px;
 
80
  padding: 0px;
 
81
  padding-top: 8px;
 
82
  padding-left: 40%;
 
83
  float: left;
 
84
}
 
85
 
 
86
div.title div
 
87
{
 
88
  margin: 0px;
 
89
  padding: 0px;
 
90
  padding-top: 12px;
 
91
  padding-right: 20px;
 
92
  float: right;
 
93
}
 
94
 
 
95
/* Settings for the section frames. */
 
96
 
 
97
body.navigation
 
98
{
 
99
  margin: 0px;
 
100
  padding: 0px;
 
101
}
 
102
 
 
103
ul.navigation
 
104
{
 
105
  margin: 0px;
 
106
  padding: 0px;
 
107
  list-style: none;
 
108
  text-align: center;
 
109
  background: url("steel.gif");
 
110
}
 
111
 
 
112
ul.navigation li
 
113
{
 
114
  margin: 0px;
 
115
  padding: 0px;
 
116
  border-width: 1px;
 
117
  border-style: solid;
 
118
  border-color: #FFFFFF #808080 #808080 #FFFFFF;
 
119
  color: #000000;
 
120
  font-weight: bold;
 
121
}
 
122
 
 
123
ul.navigation li.title
 
124
{
 
125
  margin: 0px;
 
126
  padding: 4px 10px;
 
127
  background: #E0E0E0;
 
128
}
 
129
 
 
130
ul.navigation li a
 
131
{
 
132
  margin: 0px;
 
133
  padding: 6px 0px;
 
134
  background: transparent;
 
135
  color: #000000;
 
136
  text-decoration: none;
 
137
  display: block;
 
138
}
 
139
 
 
140
ul.navigation li a:hover,
 
141
ul.navigation li a:focus
 
142
{
52
143
  background: #FFFFFF;
53
144
}
54
145
 
55
 
table.title {
56
 
  width: 100%;
57
 
  height: 50px;
58
 
  background: url("steel.gif");
59
 
  border: outset #FFFFFF 1px;
60
 
  border-spacing: 0px;
61
 
}
62
 
 
63
 
th.title, td.title {
64
 
  background: transparent;
65
 
  border: none;
66
 
  border-spacing: 0px;
67
 
}
68
 
 
69
 
.title a:link    { color: #000000; text-decoration: none; }
70
 
.title a:visited { color: #000000; text-decoration: none; }
71
 
.title a:hover   { color: #222222; text-decoration: none; }
72
 
.title a:active  { color: #FFFFFF; text-decoration: none; }
73
 
 
74
 
table.sections {
75
 
  width: 100%;
76
 
  height: 50px;
77
 
  background: url("steel.gif");
78
 
  border: 0px;
79
 
  border-spacing: 0px;
80
 
}
81
 
 
82
 
th.sections, td.sections {
83
 
  height: 40px;
84
 
  border: outset #FFFFFF 1px;
85
 
}
86
 
 
87
146
/* Settings for the yellow note tables. */
88
147
 
89
 
table.note {
 
148
table.note
 
149
{
90
150
  width: 408px;
91
151
  border: none;
92
152
  border-spacing: 0px;
93
153
}
94
154
 
95
 
td.shadow8 {
 
155
td.shadow8
 
156
{
96
157
  width: 8px;
97
158
  padding: 0px;
98
159
  margin: 0px;
100
161
  background: transparent;
101
162
}
102
163
 
103
 
td.shadow400 {
 
164
td.shadow400
 
165
{
104
166
  width: 400px;
105
167
  padding: 0px;
106
168
  margin: 0px;
108
170
  background: transparent;
109
171
}
110
172
 
111
 
td.note {
 
173
td.note
 
174
{
112
175
  width: 380px;
113
176
  background: #FFFFC0;
114
177
  padding: 0px;
115
178
  margin: 0px;
116
179
}
117
180
 
118
 
p.note {
 
181
p.note
 
182
{
119
183
  padding: 0px;
120
184
  margin: 0px 10px;
121
185
  text-align: center;
122
186
}
123
187
 
124
 
p.author {
 
188
p.author
 
189
{
125
190
  padding: 0px;
126
191
  margin: 0px 10px;
127
192
  text-align: right;