Merge "Use PHP_OS rather than php_uname, which may be disabled"
[lhc/web/wiklou.git] / resources / src / mediawiki / mediawiki.apihelp.css
1 .apihelp-header {
2 clear: both;
3 margin-bottom: 0.1em;
4 }
5
6 div.apihelp-linktrail {
7 font-size: smaller;
8 }
9
10 .apihelp-block {
11 margin-top: 0.5em;
12 }
13
14 .apihelp-block-head {
15 font-weight: bold;
16 }
17
18 .apihelp-flags {
19 font-size: smaller;
20 float: right;
21 border: 1px solid black;
22 padding: 0.25em;
23 width: 20em;
24 }
25
26 .apihelp-deprecated, .apihelp-flag-deprecated,
27 .apihelp-flag-internal strong {
28 font-weight: bold;
29 color: red;
30 }
31
32 .apihelp-unknown {
33 color: #888;
34 }
35
36 .apihelp-empty {
37 color: #888;
38 }
39
40 .apihelp-help-urls ul {
41 list-style-image: none;
42 list-style-type: none;
43 margin-left: 0;
44 }
45
46 .apihelp-parameters dl,
47 .apihelp-examples dl,
48 .apihelp-permissions dl {
49 margin-left: 2em;
50 }
51
52 .apihelp-parameters dt {
53 float: left;
54 clear: left;
55 min-width: 10em;
56 white-space: nowrap;
57 line-height: 1.5em;
58 }
59
60 .apihelp-parameters dt:after {
61 content: ':\A0'
62 }
63
64 .apihelp-parameters dd {
65 margin: 0 0 0.5em 10em;
66 line-height: 1.5em;
67 }
68
69 .apihelp-parameters dd p:first-child {
70 margin-top: 0;
71 }
72
73 .apihelp-parameters dd.info {
74 margin-left: 12em;
75 text-indent: -2em;
76 }
77
78 .apihelp-examples dt {
79 font-weight: normal;
80 }
81
82 .api-main-links {
83 text-align: center;
84 }
85 .api-main-links ul:before {
86 content: '[';
87 }
88 .api-main-links ul:after {
89 content: ']';
90 }