annotate .cms/lib/codemirror/doc/docs.css @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 @font-face {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 font-family: 'Source Sans Pro';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 font-style: normal;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 font-weight: 400;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 src: local('Source Sans Pro'), local('SourceSansPro-Regular'), url(source_sans.woff) format('woff');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 body, html { margin: 0; padding: 0; height: 100%; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 section, article { display: block; padding: 0; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 body {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 background: #f8f8f8;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 font-family: 'Source Sans Pro', Helvetica, Arial, sans-serif;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 line-height: 1.5;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 p { margin-top: 0; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 h2, h3, h1 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 font-weight: normal;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 margin-bottom: .7em;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 h1 { font-size: 140%; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 h2 { font-size: 120%; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 h3 { font-size: 110%; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 article > h2:first-child, section:first-child > h2 { margin-top: 0; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 #nav h1 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 margin-right: 12px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 margin-top: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 margin-bottom: 2px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 color: #d30707;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 letter-spacing: .5px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 a, a:visited, a:link, .quasilink {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 color: #A21313;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 em {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 padding-right: 2px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 .quasilink {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 cursor: pointer;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 article {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 max-width: 700px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 margin: 0 0 0 160px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 border-left: 2px solid #E30808;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 border-right: 1px solid #ddd;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 padding: 30px 50px 100px 50px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 background: white;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 z-index: 2;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 position: relative;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 min-height: 100%;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 box-sizing: border-box;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 -moz-box-sizing: border-box;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 #nav {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 position: fixed;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 padding-top: 30px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 max-height: 100%;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 box-sizing: -moz-border-box;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 box-sizing: border-box;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 overflow-y: auto;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 left: 0; right: none;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 width: 160px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 text-align: right;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 z-index: 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 @media screen and (min-width: 1000px) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 article {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 margin: 0 auto;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 #nav {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 right: 50%;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 width: auto;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 border-right: 349px solid transparent;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 #nav ul {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 display: block;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 margin: 0; padding: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 margin-bottom: 32px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 #nav a {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 text-decoration: none;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 #nav li {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 display: block;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 margin-bottom: 4px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 #nav li ul {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 font-size: 80%;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 margin-bottom: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 display: none;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 #nav li.active ul {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 display: block;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 #nav li li a {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 padding-right: 20px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 display: inline-block;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 #nav ul a {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 color: black;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 padding: 0 7px 1px 11px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 #nav ul a.active, #nav ul a:hover {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 border-bottom: 1px solid #E30808;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 margin-bottom: -1px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 color: #E30808;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 #logo {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 border: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 margin-right: 12px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 margin-bottom: 25px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 section {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 border-top: 1px solid #E30808;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 margin: 1.5em 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 section.first {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 border: none;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 margin-top: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 #demo {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 position: relative;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 #demolist {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 position: absolute;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 right: 5px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 top: 5px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 z-index: 25;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 .yinyang {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 position: absolute;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 top: -10px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 left: 0; right: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 margin: auto;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 display: block;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 height: 120px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 .actions {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 margin: 1em 0 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 min-height: 100px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 position: relative;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 @media screen and (max-width: 800px) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 .actions {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 padding-top: 120px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 .actionsleft, .actionsright {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 float: none;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 text-align: left;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 margin-bottom: 1em;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 th {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 text-decoration: underline;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 font-weight: normal;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 text-align: left;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 #features ul {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 list-style: none;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 margin: 0 0 1em;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 padding: 0 0 0 1.2em;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 #features li:before {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 content: "-";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 width: 1em;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 display: inline-block;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 padding: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 margin: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 margin-left: -1em;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 .rel {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202 margin-bottom: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204 .rel-note {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
205 margin-top: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
206 color: #555;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
207 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
208
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
209 pre {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
210 padding-left: 15px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
211 border-left: 2px solid #ddd;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
212 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
213
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
214 code {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
215 padding: 0 2px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
216 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
217
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
218 strong {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
219 text-decoration: underline;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
220 font-weight: normal;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
221 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
222
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
223 .field {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
224 border: 1px solid #A21313;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
225 }