← Back to branch summary

~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

Viewing changes to external/mono-tools/webdoc/skins/mono-external/common-extension.css

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
Import upstream version 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
external/mono-tools/webdoc/skins/mono-external/common-extension.css
 
1
body {
 
2
        background-color: #ffffff;
 
3
        margin: 0px;
 
4
        padding: 0px;
 
5
        font-family: Verdana, sans-serif !important;
 
6
        overflow-x: hidden;
 
7
}
 
8
 
 
9
.HeaderTable {
 
10
        border: 2px solid #99aadd;
 
11
}
 
12
 
 
13
body, td, th {
 
14
        font-family: Verdana, sans-serif; font-size: 12px;
 
15
        color: black;
 
16
}
 
17
 
 
18
.SignatureTable, .MemberSignatureTable {
 
19
        border: 1px solid #DDDDDD;
 
20
}
 
21
 
 
22
.Footer {
 
23
        border-top: 2px solid #E5E5E5;
 
24
        padding-left: 1em;
 
25
}
 
26
 
 
27
.Footer hr {
 
28
        display: none;  
 
29
}
 
30
 
 
31
h1, h2, h3, h4 {
 
32
        font-family: Verdana,sans-serif;
 
33
        font-weight: bold;
 
34
}
 
35
 
 
36
h1 {
 
37
}
 
38
 
 
39
h3 {
 
40
}
 
41
 
 
42
h4 {
 
43
}
 
44
 
 
45
.MasterNamespaceLink a {
 
46
        font-weight: bold;
 
47
        text-decoration: none;
 
48
}
 
49
.MasterNamespaceDescription {
 
50
        margin-left: 2em;
 
51
}
 
52
 
 
53
img {
 
54
        border: 0;
 
55
        vertical-align: top;
 
56
}
 
57
 
 
58
.copyright {
 
59
        border:1px solid black;
 
60
        padding-left:5px;
 
61
        padding-right:5px;
 
62
        padding-top:5px;
 
63
        padding-bottom:5px;
 
64
        background-color:#BEBAA8;
 
65
        font-size:9px;
 
66
        margin-top: 10pt;
 
67
        margin-left: -15pt;
 
68
        margin-right: -15pt;
 
69
}
 
70
 
 
71
.important {
 
72
        padding-left:2px;
 
73
        padding-right:2px;
 
74
        padding-top:2px;
 
75
        padding-bottom:2px;
 
76
        background-color:#000000;
 
77
        color:#ffffff;
 
78
}
 
79
 
 
80
.menu {
 
81
        font-family:Arial, Verdana;
 
82
        font-size:12px;
 
83
        font-weight:bold;
 
84
}
 
85
 
 
86
.navbar{
 
87
        color:black;
 
88
        font-family:Arial, Verdana;
 
89
        font-size:10px;
 
90
        border-bottom:1px solid #000000;
 
91
        border-left:1px solid black;
 
92
        border-right:1px solid black;
 
93
        background-color:#efefef;
 
94
        padding-left:2px;
 
95
        padding-right:2px;
 
96
        padding-top:2px;
 
97
        padding-bottom:2px;
 
98
        margin-left: -15pt;
 
99
        margin-right: -15pt;
 
100
}
 
101
        
 
102
.topframe {
 
103
        background-image:url(images/backbig.png);
 
104
        border:1px solid #000000;
 
105
        background-color:#BEBAA8;
 
106
        margin-left: -15pt;
 
107
        margin-right: -15pt;
 
108
}
 
109
 
 
110
.chapter {
 
111
        font-size:14px;
 
112
        font-weight:bold;
 
113
        color:#444444;
 
114
        padding-left:0px;
 
115
        padding-right:0px;
 
116
        padding-top:0px;
 
117
        padding-bottom:0px;
 
118
}
 
119
 
 
120
.table {
 
121
        padding-left:2px;
 
122
        padding-right:2px;
 
123
        padding-top:0px;
 
124
        padding-bottom:0px;
 
125
        background-color:#efefef;
 
126
        border:1px solid #c0c0c0;
 
127
}
 
128
 
 
129
.elementOn {
 
130
        color:#a40000;
 
131
}
 
132
 
 
133
.element {
 
134
        color:#0000a4;
 
135
}
 
136
 
 
137
.code {
 
138
        font-size: small;
 
139
        font-family: "Courier New", Courier;
 
140
        line-height:110%;
 
141
}
 
142
 
 
143
.box {
 
144
        padding:15px;
 
145
        font-size: small;
 
146
        background:whitesmoke;
 
147
        border: solid 1px silver;
 
148
}
 
149
 
 
150
.console {
 
151
        border-style: solid; 
 
152
        background: whitesmoke; 
 
153
        border-width: 1px; 
 
154
        padding: 2pt; 
 
155
        margin:15px;
 
156
}
 
157
 
 
158
.headerlink {
 
159
        vertical-align:bottom;
 
160
}
 
161
 
 
162
a {
 
163
        color: blue;
 
164
}
 
165
a:visited {
 
166
        color: blue; 
 
167
}
 
168
 
 
169
td a {
 
170
        text-decoration: none;
 
171
}
 
172
 
 
173
.HeaderTable a {
 
174
        color: black;
 
175
        text-decoration: underline;
 
176
}
 
177
 
 
178
div.Content {
 
179
        margin-right: 1em;
 
180
}
 
181
 
 
182
div.related ul {
 
183
        list-type: none;
 
184
        padding-left: 1em;
 
185
}
 
186
 
 
187
.native-browser {
 
188
        font-family: "Lucida Grande", Geneva, Helvetica, Arial, Verdana, Sans-Serif;
 
189
        display: inline-block;
 
190
        color: #333 !important;
 
191
        text-decoration:none !important;
 
192
        font-size: 88%;
 
193
        padding: 4px 10px 4px 10px;
 
194
        border: 1px solid silver;
 
195
        border-bottom-color: #bcbcbc;
 
196
        border-radius: 3px;
 
197
        background: #f2f2f2;
 
198
}
 
199
 
 
200
.native-browser:hover {
 
201
        background: #ddd;
 
202
        color: black;
 
203
}
 
204
 
 
205
.native-browser img {
 
206
        vertical-align: center;
 
207
        margin-right: 3px;
 
208
}
 
209
 
 
210
body, div {
 
211
    margin: 0;
 
212
    padding: 0;
 
213
}
 
214
img.toolbarsep {
 
215
    border: 0 none;
 
216
    margin-bottom: 1px;
 
217
    margin-top: 1px;
 
218
    padding-bottom: 3px;
 
219
    padding-top: 3px;
 
220
    vertical-align: middle;
 
221
}
 
222
img.toolbar {
 
223
    border: 0 none;
 
224
    margin: 1px;
 
225
    padding: 3px;
 
226
    vertical-align: middle;
 
227
}
 
228
img.toolbar:hover {
 
229
    border-color: white #B1A598 #B1A598 white;
 
230
    border-left: 1px solid white;
 
231
    border-right: 1px solid #B1A598;
 
232
    border-style: solid;
 
233
    border-width: 1px;
 
234
    margin: 0;
 
235
}
 
236
img.toolbar:active {
 
237
    border-color: #B1A598 white white #B1A598;
 
238
    border-left: 1px solid #B1A598;
 
239
    border-right: 1px solid white;
 
240
    border-style: solid;
 
241
    border-width: 1px;
 
242
}
 
243
#login {
 
244
    float: right;
 
245
    padding: 5px;
 
246
    position: fixed;
 
247
    right: 0;
 
248
    top: 0;
 
249
}
 
250
#rightSide {
 
251
    float: right;
 
252
    padding: 5px;
 
253
    position: relative;
 
254
    right: 0;
 
255
}
 
256
#banner {
 
257
    background: url("/mdocimages/headerbg.png") no-repeat scroll 100% 50% #679EF1;
 
258
    border-bottom: 1px dotted #3363BD;
 
259
    height: 40px;
 
260
}
 
261
#header {
 
262
    color: black;
 
263
    height: 40px;
 
264
    margin-bottom: 0;
 
265
    padding: 0 0 0 15px;
 
266
    position: relative;
 
267
    width: 50%;
 
268
}
 
269
#header h1 {
 
270
    color: white;
 
271
    font-family: arial,helvetica,verdana,sans-serif;
 
272
    font-size: 22px;
 
273
    font-weight: bold;
 
274
    line-height: 1.8em;
 
275
    margin: 0;
 
276
}
 
277
body, div {
 
278
    border: 0 none;
 
279
    font: inherit;
 
280
    margin: 0;
 
281
    padding: 0;
 
282
    vertical-align: baseline;
 
283
}
 
284
html, body {
 
285
    height: 100%;
 
286
}
 
287
#side {
 
288
    border-right: 1px solid black;
 
289
    float: left;
 
290
    height: 93%;
 
291
    overflow: auto;
 
292
    width: 20%;
 
293
}
 
294
#main_part {
 
295
    height: 100%;
 
296
}
 
297
#content_frame {
 
298
    height: 94%;
 
299
    width: 99.8%;
 
300
}
 
301
#content_frame_wrapper {
 
302
    float: right;
 
303
    height: 100%;
 
304
    margin-right: 5px;
 
305
    margin-top: 10px;
 
306
    width: 79%;
 
307
}
 
308
#sidebar_container {
 
309
    margin-top: 10px;
 
310
    font-size: 8pt !important;
 
311
}
 
312
.tree-label a {
 
313
    color: black !important;
 
314
}
 
315
.tree-label a:hover {
 
316
    background: none repeat scroll 0 0 #DFDFDF !important;
 
317
    border: 1px solid grey !important;
 
318
    color: black !important;
 
319
    padding: 1px !important;
 
320
}
 
321
.tree-label-selected a, .tree-label-selected a:hover {
 
322
    background: none repeat scroll 0 0 highlight !important;
 
323
    color: highlighttext !important;
 
324
}
 
325
#rightSide {
 
326
    font-size: 8pt;
 
327
}
 
328
#fsearch_companion {
 
329
    font-size: 8pt;
 
330
}
 
331
#fsearch_window {
 
332
    font-size: 8pt;
 
333
}