nitdoc: Replace old nitdoc by nitdoc_ni
[nit.git] / share / nitdoc / styles / Nitdoc.GitHub.css
1 /* This file is part of NIT ( http://www.nitlanguage.org ).
2
3 Licensed under the Apache License, Version 2.0 (the "License");
4 you may not use this file except in compliance with the License.
5 You may obtain a copy of the License at
6
7 http://www.apache.org/licenses/LICENSE-2.0
8
9 Unless required by applicable law or agreed to in writing, software
10 distributed under the License is distributed on an "AS IS" BASIS,
11 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 See the License for the specific language governing permissions and
13 limitations under the License.
14
15 Documentation generator for the nit language.
16 Generate API documentation in HTML format from nit source code.
17 */
18
19 /*
20 * Nitdoc Github Login Box
21 */
22
23 #nitdoc-github-li {
24 float: right;
25 padding: 0;
26 margin: -2px 15px 5px 5px;
27 }
28
29 #nitdoc-github-li.current {
30 color: #999;
31 }
32
33 #nitdoc-github-li .nitdoc-github-li-img {
34 width: 20px;
35 cursor: pointer;
36 }
37
38 #nitdoc-github-loginbox {
39 cursor: default;
40 position: absolute;
41 width : 220px;
42 margin-top: 2px;
43 margin-left: -208px;
44 display: block;
45 padding: 10px;
46 text-align: left;
47 white-space: normal;
48 background-color: #ffffff;
49 border: 1px solid #ccc;
50 border: 1px solid rgba(0, 0, 0, 0.2);
51 -webkit-border-radius: 2px;
52 -moz-border-radius: 2px;
53 border-radius: 2px;
54 -webkit-box-shadow: 0 2px 5px rgba(0, 0, 0, 0.2);
55 -moz-box-shadow: 0 2px 5px rgba(0, 0, 0, 0.2);
56 box-shadow: 0 2px 5px rgba(0, 0, 0, 0.2);
57 -webkit-background-clip: padding-box;
58 -moz-background-clip: padding;
59 background-clip: padding-box;
60 }
61
62 #nitdoc-github-loginbox .nitdoc-github-loginbox-arrow {
63 position: absolute;
64 display: block;
65 width: 0;
66 height: 0;
67 border-color: transparent;
68 border-style: solid;
69 border-width: 7px;
70 top: -7px;
71 left: 50%;
72 margin-left: 90px;
73 border-bottom-color: #999;
74 border-bottom-color: rgba(0, 0, 0, 0.25);
75 border-top-width: 0;
76 }
77
78 #nitdoc-github-loginbox .nitdoc-github-loginbox-arrow:after {
79 position: absolute;
80 display: block;
81 width: 0;
82 height: 0;
83 border-color: transparent;
84 border-style: solid;
85 border-width: 10px;
86 content: "";
87 top: 1px;
88 margin-left: -10px;
89 border-bottom-color: #ffffff;
90 border-top-width: 0;
91 }
92
93 #nitdoc-github-loginbox h3 {
94 text-align:center;
95 }
96
97 #nitdoc-github-loginbox input {
98 width: 212px;
99 height: 20px;
100 padding: 3px;
101 margin: 5px 0px 5px 0px;
102 color: black;
103 font-style: normal;
104 font-size: 12px;
105 border: 1px solid #CCC;
106 }
107
108 #nitdoc-github-loginbox button {
109 margin-top: 15px;
110 width: 220px;
111 font-weight: bold;
112 }
113
114 #nitdoc-github-loginbox h4 {
115 display: block;
116 width: 100%;
117 color: #6C6C6C;
118 font-style: normal;
119 text-align: center;
120 margin-bottom: 20px;
121 }
122
123 /*
124 * Nitdoc Github buttons
125 */
126
127 button.nitdoc-github-button {
128 display: inline-block;
129 cursor: pointer;
130 background-color: #92C929;
131 background-image: -webkit-gradient(linear, left top, left bottom, from(#92C929), to(#1d7900)); /* Saf4+, Chrome */
132 background-image: -webkit-linear-gradient(top, #92C929, #1d7900); /* Chrome 10+, Saf5.1+ */
133 background-image: -moz-linear-gradient(top, #92C929, #1d7900); /* FF3.6 */
134 background-image: -ms-linear-gradient(top, #92C929, #1d7900); /* IE10 */
135 background-image: -o-linear-gradient(top, #92C929, #1d7900); /* Opera 11.10+ */
136 background-image: linear-gradient(top, #92C929, #1d7900);
137 filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#92C929', EndColorStr='#1d7900'); /* IE6–IE9 */
138 border-radius: 2px;
139 -moz-border-radius: 2px;
140 -webkit-border-radius: 2px;
141 -moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box;
142 box-shadow: 0px 2px 4px rgba(0,0,0, .2);
143 -moz-box-shadow: 0px 2px 4px rgba(0,0,0, .2);
144 -webkit-box-shadow: 0px 2px 4px rgba(0,0,0, .2);
145 text-shadow: 0px -1px 0px rgba(0, 0, 0, 0.2);
146 -moz-text-shadow: 0px -1px 0px rgba(0, 0, 0, 0.2);
147 -webkit-text-shadow: 0px -1px 0px rgba(0, 0, 0, 0.2);
148 border: 1px solid #1d7900;
149 color: #fff;
150 font-size: 14px;
151 padding: 5px 7px 5px 7px;
152 text-align: center;
153 }
154
155 button.nitdoc-github-button[disabled=disabled] {
156 background-color: #999999;
157 background-image: -webkit-gradient(linear, left top, left bottom, from(#999999), to(#333333)); /* Saf4+, Chrome */
158 background-image: -webkit-linear-gradient(top, #999999, #333333); /* Chrome 10+, Saf5.1+ */
159 background-image: -moz-linear-gradient(top, #999999, #333333); /* FF3.6 */
160 background-image: -ms-linear-gradient(top, #999999, #333333); /* IE10 */
161 background-image: -o-linear-gradient(top, #999999, #333333); /* Opera 11.10+ */
162 background-image: linear-gradient(top, #999999, #333333);
163 filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#999999', EndColorStr='#333333'); /* IE6–IE9 */
164 border: 1px solid #333333;
165 }
166
167 button.nitdoc-github-button img {
168 margin-right: 7px;
169 margin-bottom: -3px;
170 height: 16px;
171 width: 16px;
172 }
173
174 /*
175 * Modal Box
176 */
177
178 .nitdoc-github-fade {
179 background: #000;
180 position: fixed; left: 0; top: 0;
181 width: 100%; height: 100%;
182 opacity: .80;
183 filter: alpha(opacity=80);
184 z-index: 9999;
185 }
186
187 .nitdoc-github-modal {
188 background: #fff;
189 padding: 20px;
190 border: 1px solid #ddd;
191 float: left;
192 position: fixed;
193 z-index: 99999;
194 /* fix Box Shadow CSS3 */
195 -webkit-box-shadow: 0px 0px 20px #000;
196 -moz-box-shadow: 0px 0px 20px #000;
197 box-shadow: 0px 0px 20px #000;
198 /* round corners CSS3 */
199 -webkit-border-radius: 2px;
200 -moz-border-radius: 2px;
201 border-radius: 2px;
202 text-align: left;
203 }
204
205 .nitdoc-github-buttons, .nitdoc-github-modal h3 {
206 text-align: center;
207 }
208
209 .nitdoc-github-modal.nitdoc-github-error h3 {
210 color: red;
211 }
212
213 .nitdoc-github-modal textarea {
214 min-width: 300px;
215 width: 100%;
216 }
217
218 .nitdoc-github-modal button {
219 line-height: 20px;
220 margin-bottom: 0;
221 padding: 4px 12px;
222 margin-top: 20px;
223 }
224
225 .nitdoc-github-close {
226 float: right;
227 margin: -22px -17px 0 0;
228 cursor: pointer;
229 font-size: 1.3em;
230 font-weight: bold;
231 text-transform: lowercase;
232 }
233
234 /* Comment editing */
235
236 .nitdoc-github-commentbox {
237 text-align: right;
238 }
239
240 .nitdoc-github-commentbox textarea {
241 font-family: monospace;
242 font-size: 1em;
243 width: 100%;
244 margin-top: 1em;
245 padding: 4px;
246 padding-left: 11px;
247 overflow-y: hidden;
248 border: 1px solid #CCC;
249 }
250
251 .nitdoc-github-preview {
252 margin: 0 15px;
253 cursor: pointer;
254 }
255
256 .nitdoc-github-button.nitdoc-github-cancel {
257 background-color: #b33630;
258 background-image: -webkit-gradient(linear, left top, left bottom, from(#E97A74), to(#9f312c)); /* Saf4+, Chrome */
259 background-image: -webkit-linear-gradient(top, #E97A74, #9f312c); /* Chrome 10+, Saf5.1+ */
260 background-image: -moz-linear-gradient(top, #E97A74, #9f312c); /* FF3.6 */
261 background-image: -ms-linear-gradient(top, #E97A74, #9f312c); /* IE10 */
262 background-image: -o-linear-gradient(top, #E97A74, #9f312c); /* Opera 11.10+ */
263 background-image: linear-gradient(top, #E97A74, #9f312c);
264 filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#E97A74', EndColorStr='#9f312c'); /* IE6–IE9 */
265 border: 1px solid #9f312c;
266 }
267
268 div.comment.locked {
269 color: gray;
270 }
271 p.locked {
272 color: black;
273 }
274
275 a.nitdoc-github-cancel {
276 color: #b33630;
277 cursor: pointer;
278 }
279
280 a.nitdoc-github-update {
281 color: orange;
282 cursor: pointer;
283 }