← Back to branch summary

~ubuntu-branches/ubuntu/precise/muse-el/precise

« back to all changes in this revision

Viewing changes to examples/mwolson/stylesheets/common.css

  • Committer: Bazaar Package Importer
  • Author(s): Michael W. Olson (GNU address)
  • Date: 2007-06-25 08:17:44 UTC
  • mfrom: (1.1.3 upstream)
  • Revision ID: james.westby@ubuntu.com-20070625081744-h9xfz7c72h1pfyo6
Tags: 3.03-1ubuntu1
https://launchpad.net/bugs/123907
* Closes LP: #123907
* Sync with Debian.  Remaining changes:
  - Keep (add) manual.
* debian/control:
  - Set Ubuntu MOTU to be Maintainer and myself as
    XSBC-Original-Maintainer to silence warning.
* debian/rules;
  - Manual is now in texi/ directory.
  - Clean generated html files and info file for the manual.

Show diffs side-by-side

added added

removed removed

Lines of Context:
examples/mwolson/stylesheets/common.css
1
1
/* Michael Olson's tweaked Muse stylesheet
2
2
 
3
3
   Common elements.
 
4
 
 
5
   License: Modification and propagation of this document is
 
6
            permitted.  Attribution of credit to me is optional.
4
7
*/
5
8
 
6
9
/* Normal elements */
16
19
  color: red;
17
20
}
18
21
 
19
 
a.top, a:visited.top, a:link.top {
 
22
a:link.top, a:visited.top {
20
23
  color: #F5DEB3;               /* wheat */
21
24
  line-height: 90%;
22
25
  position: relative;
24
27
  top: -13px;
25
28
}
26
29
 
 
30
a:link:hover, a:visited:hover {
 
31
  background-color: #F5F5F5;    /* white smoke */
 
32
}
 
33
 
 
34
h1 a:link:hover, h1 a:visited:hover {
 
35
  background-color: #708090;    /* slate gray */
 
36
}
 
37
 
27
38
a:visited {
28
39
  color: #556B2F;               /* dark olive green */
29
40
}
30
41
 
31
 
a {
 
42
a:link {
32
43
  color: #0000CD;               /* blue */
33
44
}
34
45
 
47
58
  margin-top: 1%;
48
59
}
49
60
 
 
61
code {
 
62
  margin-left: 3px;
 
63
  margin-right: 3px;
 
64
}
 
65
 
50
66
dt {
51
67
  font-weight: bold;
52
68
  margin-top: .5em;
97
113
}
98
114
 
99
115
hr {
100
 
  clear: right;
 
116
  clear: both;
101
117
}
102
118
 
103
119
img {
105
121
}
106
122
 
107
123
li {
108
 
  line-height: 1.5em;
 
124
  line-height: 1.2em;
109
125
  margin-top: .7em;
110
126
}
111
127
 
112
128
p.verse {
113
129
  clear: left;
114
130
  line-height: 2em;
115
 
  margin-left: 5%;
 
131
  margin-left: 3%;
116
132
}
117
133
 
118
134
p {
119
 
  line-height: 1.5em;
 
135
  line-height: 1.2em;
120
136
}
121
137
 
122
138
pre.example {
123
 
  margin-left: 5%;
124
 
  margin-bottom: 2.5em;
 
139
  margin-left: 3%;
 
140
  margin-top: 1.2em;
 
141
  margin-bottom: 1.2em;
 
142
  clear: right;
 
143
}
 
144
 
 
145
pre.src {
 
146
  margin-left: 0%;
 
147
  margin-top: 1.2em;
 
148
  margin-bottom: 1.2em;
 
149
  clear: right;  
125
150
}
126
151
 
127
152
pre.verse {
128
153
  font-family: inherit;
129
154
  line-height: 2em;
130
 
  margin-left: 5%;
 
155
  margin-left: 3%;
131
156
}
132
157
 
133
158
pre {
134
159
  font-family: monospace;
135
 
  margin-left: 5%;
 
160
  margin-left: 3%;
136
161
  white-space: pre;
137
162
}
138
163
 
148
173
  overflow: hidden;             /* don't crowd the menu */
149
174
}
150
175
 
 
176
table.image {
 
177
  clear: right;
 
178
}
 
179
 
151
180
ul {
152
181
  list-style-type: disc;
153
182
  margin-bottom: 1.5em;
156
185
/* Menu */
157
186
 
158
187
.menu {
159
 
  background-color: #F5F5F5;    /* white smoke */
160
 
  color: white;
 
188
  background-color: #BEBEBE;    /* gray */
161
189
  border: 1px solid black;
162
190
  display: inline;
163
191
  float: right;
164
192
  clear: both;
165
 
  margin-left: 5px;
 
193
  margin-left: 10px;
166
194
  margin-bottom: 5px;
167
 
  padding: .5em;
 
195
  padding: 3px;
168
196
}
169
197
 
170
198
.menuitem {
 
199
  background-color: #D3D3D3;    /* light gray */
 
200
  margin: 0;
 
201
  padding-top: 2px;
 
202
  padding-bottom: 3px;
 
203
  padding-left: 2px;
 
204
  padding-right: 2px;
171
205
  text-align: left;
172
206
}
173
207
 
174
208
.menuitem a:link, .menuitem a:visited {
175
 
  color: #006400;               /* dark green */
 
209
  color: #0000CD;               /* blue */
176
210
  display: block;
177
 
  margin: .2em;
178
 
  padding-top: 4px;
179
 
}
180
 
 
181
 
.menuitem a:hover { 
182
 
  background-color: #D3D3D3;    /* light gray */
 
211
  margin: 0;
 
212
  padding-top: 2px;
 
213
  padding-bottom: 3px;
 
214
  padding-left: 2px;
 
215
  padding-right: 2px;
 
216
}
 
217
 
 
218
.menuitem a:link:hover, .menuitem a:visited:hover { 
 
219
  background-color: #F5F5F5;    /* white smoke */
 
220
}
 
221
 
 
222
.menuother {
 
223
  padding-left: 2px;
 
224
  padding-right: 2px;
183
225
}
184
226
 
185
227
#tooltipbox {