Merge: modelize_class: Remove an unnecessary pre-condition
[nit.git] / share / nitweb / stylesheets / nitweb.css
1 /* Body */
2
3 body {
4 background: #f2f2f2;
5 margin-top: 70px;
6 margin-bottom: 70px;
7 }
8
9 h1, h2, h3, h4, h5, h6 {
10 color: #666;
11 }
12
13 a {
14 cursor: pointer;
15 }
16
17 .nitdoc h1, .nitdoc h2, .nitdoc h3, .nitdoc h4, .nitdoc h5, .nitdoc h6 {
18 color: #333;
19 }
20
21 .page-header {
22 margin-top: 0;
23 border: none;
24 }
25
26 /* cards */
27
28 .card.active {
29 border: 1px solid #1E9431;
30 }
31
32 .card, .card-body { overflow: hidden; }
33
34 .card-heading {
35 margin-top: 0;
36 margin-bottom: 5px;
37 }
38
39 .card {
40 background: #fff;
41 border: 1px solid #ccc;
42 margin-top: 10px;
43 box-shadow: 0 -1px 0 #e5e5e5,0 0 2px rgba(0,0,0,.12),0 2px 4px rgba(0,0,0,.24);
44 }
45
46 .card-body {
47 padding: 15px;
48 width: 10000px;
49 }
50
51 .card-body, .card-right, .card-left {
52 display: table-cell;
53 vertical-align: top;
54 }
55
56 .card-left, .card>.pull-left {
57 padding: 15px;
58 padding-right: 0px;
59 }
60 .card-right, .card>.pull-right {
61 padding: 15px;
62 padding-left: 0px;
63 }
64
65 .card-list {
66 margin-top: 10px;
67 }
68
69 .card-list > .card:first-child {
70 border-top: 1px solid #ccc;
71 }
72
73 .card-list > .card {
74 margin-top: 0;
75 border-top: none;
76 }
77
78 .card-title {
79 padding-left: 15px;
80 }
81
82 /* ui */
83
84 .btn-bar { margin-top: -5px; float: right }
85 .btn-bar .btn { padding: 5px 10px; }
86
87 entity-list .btn-filter {
88 visibility: hidden;
89 }
90
91 entity-list:hover .btn-filter {
92 visibility: visible;
93 }
94
95 /* doc */
96
97 .nitdoc .synopsys {
98 font-size: 2em;
99 }
100
101 .signature {
102 color: #666;
103 font-family: monospace;
104 }
105
106 .signature .name {
107 font-weight: bold;
108 }
109
110 .page-header .signature .name, .signature .signature .name {
111 font-weight: normal;
112 }
113
114 .signature .signature a {
115 color: #666;
116 font-family: monospace;
117 }
118
119 /* tabs */
120
121 .nav-tabs li { cursor: pointer; }
122
123 .nav>li.warning>a {
124 color: #fff;
125 background-color: #f0ad4e;
126 }
127
128 .nav>li.warning>a:focus, .nav>li.warning>a:hover {
129 background-color: #ff9c0f;
130 }
131
132 /* forms */
133
134 .has-icon {
135 position: relative;
136 }
137
138 .has-icon .form-control {
139 padding-left: 35px;
140 }
141
142 .form-control-icon {
143 position: absolute;
144 top: 0;
145 left: 0;
146 z-index: 2;
147 display: block;
148 width: 34px;
149 height: 34px;
150 line-height: 34px;
151 text-align: center;
152 pointer-events: none;
153 }
154
155 /* search */
156
157 .search-input {
158 width: 100%;
159 }
160
161 .search-results {
162 position: absolute;
163 right: 0;
164 }
165
166 .search-results .card.active {
167 background: #eee;
168 border-color: #eee;
169 }
170
171 /* loading bar */
172
173 #loading-bar .bar {
174 background: #FF8100;
175 }
176
177 /* navs */
178
179 .nav-tabs li { cursor: pointer; }
180
181 .navbar-fixed-top {
182 background-color: #1E9431;
183 box-shadow: 0 0 4px rgba(0,0,0,.14),0 4px 8px rgba(0,0,0,.28);
184 }
185
186 .navbar-fixed-top .form-control:hover, .navbar-fixed-top .form-control:focus {
187 background: rgba(255, 255, 255, 0.2);
188 }
189
190 .navbar-fixed-top .form-control {
191 background: rgba(255, 255, 255, 0.1);
192 border: none;
193 color: #fff;
194 box-shadow: none;
195 }
196
197 .navbar-fixed-top .form-control-icon {
198 color: #fff;
199 }
200
201 .navbar-fixed-top *::-webkit-input-placeholder {
202 color: #fff;
203 }
204 .navbar-fixed-top *:-moz-placeholder {
205 /* FF 4-18 */
206 color: #fff;
207 }
208 .navbar-fixed-top *::-moz-placeholder {
209 /* FF 19+ */
210 color: #fff;
211 }
212 .navbar-fixed-top *:-ms-input-placeholder {
213 /* IE 10+ */
214 color: #fff;
215 }
216
217 .navbar-fixed-top .form-group {
218 margin-top: 8px;
219 margin-bottom: 0px;
220 }
221
222 /*
223 * Ratings
224 */
225
226 .card .stars {
227 visibility: hidden
228 }
229
230 .card:hover .stars {
231 visibility: visible
232 }
233
234 .star {
235 color: grey;
236 cursor: pointer;
237 }
238
239 .star:hover, .star.active:hover {
240 color: #FF8100
241 }
242
243 .star.active {
244 color: #FFC000
245 }
246
247 /*
248 * Users
249 */
250
251 .avatar {
252 border-radius: 2px;
253 }
254
255 /*
256 * Code Highlighting
257 */
258
259 .nitcode a { color: inherit; text-decoration: inherit; } /* hide links */
260 .nitcode a:hover { text-decoration: underline; } /* underline links */
261 .nitcode span[title]:hover { text-decoration: underline; } /* underline titles */
262 /* lexical raw tokens. independent of usage or semantic: */
263 .nitcode .nc_c { color: gray; font-style: italic; } /* comment */
264 .nitcode .nc_d { color: #3D8127; font-style: italic; } /* documentation comments */
265 .nitcode .nc_k { font-weight: bold; } /* keyword */
266 .nitcode .nc_o {} /* operator */
267 .nitcode .nc_i {} /* standard identifier */
268 .nitcode .nc_t { color: #445588; font-weight: bold; } /* type/class identifier */
269 .nitcode .nc_a { color: #445588; font-style: italic; } /* old style attribute identifier */
270 .nitcode .nc_l { color: #009999; } /* char and number literal */
271 .nitcode .nc_s { color: #8F1546; } /* string literal */
272 /* syntactic token usage. added because of their position in the AST */
273 .nitcode .nc_ast { color: blue; } /* assert label */
274 .nitcode .nc_la { color: blue; } /* break/continue label */
275 .nitcode .nc_m { color: #445588; } /* module name */
276 /* syntactic groups */
277 .nitcode .nc_def { font-weight: bold; color: blue; } /* name used in a definition */
278 .nitcode .nc_def.nc_a { color: blue; } /* name used in a attribute definition */
279 .nitcode .nc_def.nc_t { color: blue; } /* name used in a class or vt definition */
280 .nitcode .nc_ss { color: #9E6BEB; } /* superstrings */
281 .nitcode .nc_cdef {} /* A whole class definition */
282 .nitcode .nc_pdef {} /* A whole property definition */
283 /* semantic token usage */
284 .nitcode .nc_v { font-style: italic; } /* local variable or parameter */
285 .nitcode .nc_vt { font-style: italic; } /* virtual type or formal type */
286 .nitcode .nc_error { border: 1px red solid;} /* not used */