← Back to branch summary

~ubuntu-branches/ubuntu/wily/proguard/wily

« back to all changes in this revision

Viewing changes to docs/style.css

  • Committer: Package Import Robot
  • Author(s): Emmanuel Bourg
  • Date: 2014-04-10 13:58:11 UTC
  • mfrom: (1.2.5)
  • Revision ID: package-import@ubuntu.com-20140410135811-ddwzt2avu94rnolt
Tags: 4.11-1
http://bugs.debian.org/719706
* Team upload.
* New upstream release
* Removed the non-free documentation from the package (Closes: #719706)
* Removed the pre-built jars from the upstream tarball
* debian/control:
  - The package is now co-maintained with the Java Team
  - Standards-Version updated to 3.9.5 (no changes)
  - Added the Vcs-* fields
  - Added the Homepage field
* Switch to debhelper level 9
* Use XZ compression for the upstream tarball

Show diffs side-by-side

added added

removed removed

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