comparison src/nabble/view/web/util/codemirror/css/docs.css @ 0:7ecd1a4ef557

add content
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 21 Mar 2019 19:15:52 -0600
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:7ecd1a4ef557
1 body {
2 font-family: Arial, sans-serif;
3 line-height: 1.5;
4 max-width: 64.3em;
5 margin: 3em auto;
6 padding: 0 1em;
7 }
8 body.droid {
9 font-family: Droid Sans, Arial, sans-serif;
10 }
11
12 h1 {
13 letter-spacing: -3px;
14 font-size: 3.23em;
15 font-weight: bold;
16 margin: 0;
17 }
18
19 h2 {
20 font-size: 1.23em;
21 font-weight: bold;
22 margin: .5em 0;
23 letter-spacing: -1px;
24 }
25
26 h3 {
27 font-size: 1em;
28 font-weight: bold;
29 margin: .4em 0;
30 }
31
32 pre {
33 font-family: Courier New, monospaced;
34 background-color: #eee;
35 -moz-border-radius: 6px;
36 -webkit-border-radius: 6px;
37 border-radius: 6px;
38 padding: 1em;
39 }
40
41 pre.code {
42 margin: 0 1em;
43 }
44
45 .grey {
46 font-size: 2em;
47 padding: .5em 1em;
48 line-height: 1.2em;
49 margin-top: .5em;
50 position: relative;
51 }
52
53 img.logo {
54 position: absolute;
55 right: -25px;
56 bottom: 4px;
57 }
58
59 a:link, a:visited, .quasilink {
60 color: #df0019;
61 cursor: pointer;
62 text-decoration: none;
63 }
64
65 a:hover, .quasilink:hover {
66 color: #800004;
67 }
68
69 h1 a:link, h1 a:visited, h1 a:hover {
70 color: black;
71 }
72
73 ul {
74 margin: 0;
75 padding-left: 1.2em;
76 }
77
78 a.download {
79 color: white;
80 background-color: #df0019;
81 width: 100%;
82 display: block;
83 text-align: center;
84 font-size: 1.23em;
85 font-weight: bold;
86 text-decoration: none;
87 -moz-border-radius: 6px;
88 -webkit-border-radius: 6px;
89 border-radius: 6px;
90 padding: .5em 0;
91 margin-bottom: 1em;
92 }
93
94 a.download:hover {
95 background-color: #bb0010;
96 }
97
98 .rel {
99 margin-bottom: 0;
100 }
101
102 .rel-note {
103 color: #777;
104 font-size: .9em;
105 margin-top: .1em;
106 }
107
108 .logo-braces {
109 color: #df0019;
110 position: relative;
111 top: -4px;
112 }
113
114 .blk {
115 float: left;
116 }
117
118 .left {
119 width: 37em;
120 padding-right: 6.53em;
121 padding-bottom: 1em;
122 }
123
124 .left1 {
125 width: 15.24em;
126 padding-right: 6.45em;
127 }
128
129 .left2 {
130 width: 15.24em;
131 }
132
133 .right {
134 width: 20.68em;
135 }
136
137 .leftbig {
138 width: 42.44em;
139 padding-right: 6.53em;
140 }
141
142 .rightsmall {
143 width: 15.24em;
144 }
145
146 .clear:after {
147 visibility: hidden;
148 display: block;
149 font-size: 0;
150 content: " ";
151 clear: both;
152 height: 0;
153 }
154 .clear { display: inline-block; }
155 /* start commented backslash hack \*/
156 * html .clear { height: 1%; }
157 .clear { display: block; }
158 /* close commented backslash hack */