]>
Commit | Line | Data |
---|---|---|
06a3d686 BB |
1 | @import "ui-mixins"; |
2 | @import "ui-variables"; | |
3 | ||
4 | h1, | |
5 | h2, | |
6 | h3 { | |
7 | line-height: 1em; | |
8 | margin-bottom: 15px | |
9 | } | |
10 | h1 { font-size: 2em; } | |
11 | h2 { font-size: 1.5em; } | |
12 | h3 { font-size: 1.2em; } | |
13 | ||
14 | p { | |
15 | line-height: 1.6; | |
16 | margin-bottom: 15px; | |
17 | } | |
18 | ||
19 | label { | |
20 | font-weight: normal; | |
21 | } | |
22 | ||
23 | pre { | |
24 | box-shadow: none; | |
25 | color: @text-color; | |
26 | background: @inset-panel-background-color; | |
27 | border-radius: @component-border-radius; | |
28 | border: none; | |
29 | margin: 0; | |
30 | } | |
31 | ||
32 | code { | |
33 | .text(highlight); | |
34 | background: @background-color-highlight; | |
35 | border-radius: @component-border-radius; | |
36 | } | |
37 | ||
38 | .selected { .text(highlight); } | |
39 | ||
40 | .text-smaller { font-size: 0.9em; } | |
41 | ||
42 | .text-subtle { .text(subtle); } | |
43 | .text-highlight { .text(highlight); } | |
44 | ||
45 | .text-error { .text(error); } | |
46 | .text-info { | |
47 | .text(info); | |
48 | &:hover { color: @text-color-info; } | |
49 | } | |
50 | .text-warning { | |
51 | .text(warning); | |
52 | &:hover { color: @text-color-warning; } | |
53 | } | |
54 | .text-success { | |
55 | .text(success); | |
56 | &:hover { color: @text-color-success; } | |
57 | } | |
58 | ||
59 | .highlight { | |
60 | color: @text-color-highlight; | |
61 | font-weight: bold; | |
62 | text-shadow: none; | |
63 | background-color: @background-color-highlight; | |
64 | border-radius: @component-border-radius; | |
65 | padding: 1px 3px; | |
66 | } | |
67 | ||
68 | .highlight-color(@name, @color) { | |
69 | .highlight-@{name} { | |
70 | color: @text-color-highlight; | |
71 | font-weight: bold; | |
72 | text-shadow: none; | |
73 | background-color: @color; | |
74 | border-radius: @component-border-radius; | |
75 | padding: 1px 3px; | |
76 | } | |
77 | } | |
78 | .highlight-color(info, @background-color-info); | |
79 | .highlight-color(warning, @background-color-warning); | |
80 | .highlight-color(error, @background-color-error); | |
81 | .highlight-color(success, @background-color-success); |