lilalo

annotate l3.css @ 103:2a63b4505ff0

find changesets by author, revision, files, or words in the commit message
Выравниваем CSS после того как добавил навигационную панель
Но до счастья ещё далеко
author devi
date Sat Jun 24 23:18:18 2006 +0300 (2006-06-24)
parents c41cc9a4b5ea
children
rev   line source
devi@90 1 h1,h2,h3,h4 {
devi@90 2 color: #485c9f;
devi@90 3 padding-top: 10pt;
devi@90 4 padding-bottom: 0pt;
devi@103 5 margin-left: 0pt;
devi@90 6 font-family: sans-serif;
devi@90 7 /* border: thin solid gray; */
devi@90 8 }
devi@90 9
devi@90 10 a {
devi@90 11 padding-left: 3pt;
devi@90 12 padding-right: 3pt;
devi@90 13 text-decoration: none;
devi@90 14 }
devi@90 15
devi@90 16 a:hover {
devi@90 17 background-color: #eeeecc;
devi@90 18 }
devi@90 19
devi@90 20 body {
devi@90 21 padding-left: 10pt;
devi@90 22 font-family: sans-serif;
devi@90 23 }
devi@90 24
devi@90 25 tr.table_header {
devi@90 26 background-color : #98bcef;
devi@90 27 font-weight: bold;
devi@90 28 font-size: 105%;
devi@90 29 }
devi@90 30
devi@90 31 td
devi@90 32 {
devi@90 33 padding-left:5pt;
devi@90 34 padding-right:5pt;
devi@90 35
devi@90 36 margin-left:0pt;
devi@90 37 margin-right:0pt;
devi@90 38 }
devi@90 39
devi@90 40 .toc {
devi@90 41 border: 1px solid #aaa;
devi@90 42 background-color: #f9f9f9;
devi@90 43 padding: 10pt;
devi@90 44 padding-left: 0pt;
devi@90 45 padding-right: 15pt;
devi@90 46 font-size: 95%;
devi@90 47 }
devi@90 48
devi@90 49 .files_toc {
devi@90 50 padding : 10pt;
devi@90 51 columns: 50em;
devi@90 52 }
devi@90 53 .toc_title {
devi@90 54 font-weight: bold;
devi@90 55 text-align: center;
devi@90 56 }
devi@90 57
devi@90 58 .cline, .output
devi@90 59 {
devi@90 60 margin : 0px 0px 0px 0em;
devi@90 61 padding : 0px 0px 0px 0px;
devi@90 62 vertical-align : top;
devi@90 63 /*display:inline;*/
devi@90 64 }
devi@90 65
devi@90 66 .cline
devi@90 67 { font-weight : bold; }
devi@90 68
devi@90 69 .wrong_cline, .wrong_root_cline,
devi@90 70 .mistyped_cline, .mistyped_root_cline
devi@90 71 {
devi@90 72 /*
devi@90 73 color : #ee7777;
devi@90 74 */
devi@90 75 /* color : #aa5555; */
devi@90 76 }
devi@90 77 .wrong_output, .wrong_root_output,
devi@90 78 .mistyped_output, .mistyped_root_output
devi@90 79 {
devi@90 80 /*
devi@90 81 font-size : 80%;
devi@90 82 color : #cc6666;
devi@90 83 */
devi@90 84 }
devi@90 85
devi@90 86 .cblock_mistyped,
devi@90 87 .cblock_mistyped_root
devi@90 88 {
devi@90 89 text-decoration : line-through;
devi@90 90 }
devi@90 91
devi@90 92 .cblock_interrupted > .output,
devi@90 93 .cblock_interrupted_root > .output
devi@90 94 {
devi@90 95 color : #aaaaaa;
devi@90 96 }
devi@90 97
devi@90 98 .cblock_interrupted > .cline
devi@90 99 .cblock_interrupted_root > .cline
devi@90 100 {
devi@90 101 color : #777777;
devi@90 102 }
devi@90 103
devi@90 104
devi@90 105 .cblock_normal_root,
devi@90 106 .cblock_wrong_root,
devi@90 107 .cblock_mistyped_root,
devi@90 108 .cblock_interrupted_root,
devi@90 109 .cblock_tab_root
devi@90 110 {
devi@90 111 border-left : #ff0000 solid thin;
devi@90 112 }
devi@90 113
devi@90 114 .command {
devi@90 115 margin : 0pt 0pt 0pt 0pt;
devi@90 116 padding : 0pt 0pt 0pt 0pt;
devi@90 117 /*border : thin solid gray;*/
devi@90 118 }
devi@90 119
devi@90 120 .with_hint {
devi@90 121 background : #effdff;
devi@90 122 }
devi@90 123
devi@90 124 .without_hint {
devi@90 125 background : #ffefef;
devi@90 126 }
devi@90 127
devi@90 128 .note {
devi@90 129 /*
devi@90 130 color : black;
devi@90 131 background : #d8fcff;
devi@90 132 margin : 12px 12px 12px 12px;
devi@90 133 padding : 6px 6px 6px 6px;
devi@90 134 border-style : dashed;
devi@90 135 border-width : thin;
devi@90 136 border-color : #a8eaff;
devi@90 137 vertical-align : top;
devi@90 138 */
devi@90 139 color : black;
devi@90 140 background : #d8f0ff;
devi@90 141 margin : 2px 12px 12px 12px;
devi@90 142 padding : 6px 6px 6px 6px;
devi@90 143 border-style : dotted;
devi@90 144 border-width : thin;
devi@90 145 border-color : #687cbf;
devi@90 146 vertical-align : top;
devi@90 147 }
devi@90 148
devi@90 149 .note_title,.note_text,.note_search
devi@90 150 {
devi@90 151 color : black;
devi@90 152 margin : 0px 0px 0px 0px;
devi@90 153 padding : 0px 0px 0px 0px;
devi@90 154 vertical-align : top;
devi@90 155 }
devi@90 156 .note_title {
devi@90 157 font-size : 120%;
devi@90 158 font-family : sans-serif;
devi@90 159 padding-top : 2pt;
devi@90 160 padding-bottom : 2pt;
devi@90 161 }
devi@90 162 .note_text {
devi@90 163 font-family : sans-serif;
devi@90 164 font-size : 100%;
devi@90 165 }
devi@90 166 .note_search { text-align : right; }
devi@90 167
devi@90 168
devi@90 169 .diff {
devi@90 170 color : black;
devi@90 171 background : #fdffcd;
devi@90 172 margin : 16px 16px 16px 16px;
devi@90 173 padding : 6px 6px 6px 6px;
devi@90 174 border-style : dashed;
devi@90 175 border-width : thin;
devi@90 176 }
devi@90 177
devi@90 178 .ttychange {
devi@90 179 color : #9a9a9a;
devi@90 180 background : #fafafa;
devi@90 181 margin : 0em 0px 0pt 0px;
devi@90 182 padding : 0em 0pt 0em 0pt;
devi@90 183 vertical-align : top;
devi@90 184 font-family : monospace;
devi@90 185 min-width: 5em;
devi@90 186 position : relative;
devi@90 187 left : 0em;
devi@90 188 border-top : thin dotted #cccccc;
devi@90 189 text-align : right;
devi@90 190 font-size : 50%;
devi@90 191 }
devi@90 192
devi@90 193 .time {
devi@90 194 color : #999999;
devi@90 195 margin : 0px 0px 0px 0px;
devi@90 196 padding : 2pt 5pt 0px 0px;
devi@90 197 vertical-align : top;
devi@90 198 font-size : 80%;
devi@90 199 width : 5em;
devi@90 200 float : left;
devi@90 201 /* height : 100%; */
devi@90 202 /* border : thin solid gray; */
devi@90 203 }
devi@90 204
devi@90 205 .cblock,
devi@90 206 .cblock_normal,
devi@90 207 .cblock_wrong,
devi@90 208 .cblock_mistyped,
devi@90 209 .cblock_interrupted,
devi@90 210 .cblock_tab,
devi@90 211 .cblock_normal_root,
devi@90 212 .cblock_wrong_root,
devi@90 213 .cblock_mistyped_root,
devi@90 214 .cblock_interrupted_root,
devi@90 215 .cblock_tab_root
devi@90 216 {
devi@90 217 margin : 0px 0px 0px 0em;
devi@90 218 padding : 0px 0px 0px 5pt;
devi@90 219 vertical-align : top;
devi@90 220 /* border : thin solid blue; */
devi@90 221 }
devi@90 222
devi@90 223 .visibility_form {
devi@90 224 position : fixed;
devi@90 225 bottom: 10; right: 10;
devi@90 226 z-index : 5;
devi@90 227 color : #9a9a9a;
devi@90 228 background : #e7e7e7;
devi@90 229 margin : 0px 0px 0px 0px;
devi@90 230 padding : 0px 0px 0px 0px;
devi@90 231 vertical-align : top;
devi@90 232 font-size : 80%;
devi@90 233 font-family : sans-serif;
devi@90 234 }
devi@90 235 .visibility_form > .header {
devi@90 236 font-weight: bold;
devi@90 237 }
devi@90 238 .visibility_form > .window_controls {
devi@90 239 position : absolute;
devi@90 240 right : 1pt;
devi@90 241 }
devi@90 242
devi@90 243 .new_commands_table {
devi@90 244 padding : 0px 0px 0px 0px;
devi@90 245 margin : 20px 60px 60px 20px;
devi@90 246 background-color: #f9f9f9;
devi@90 247 }
devi@90 248
devi@90 249 .new_commands_header {
devi@90 250 font-weight: bold;
devi@90 251 background-color: #e9e9e9;
devi@90 252 }
devi@90 253
devi@90 254 .new_commands_caption {
devi@90 255 font-style: italic;
devi@90 256 background-color: #ffffff;
devi@90 257 }
devi@90 258
devi@90 259 .err_box {
devi@90 260 color : white;
devi@90 261 background : red;
devi@90 262 font-weight : bold;
devi@90 263 font-size : 70%;
devi@90 264 }
devi@90 265 .filename, .file_navigation {
devi@90 266 background : #f7f7ba;
devi@90 267 padding : 1ex;
devi@90 268 padding-bottom: 1pt;
devi@90 269 display : inline;
devi@90 270 }
devi@90 271
devi@90 272 .filename {
devi@90 273 font-weight : bold;
devi@90 274 margin : 20pt 0pt 0pt 10pt;
devi@90 275 }
devi@90 276
devi@90 277 .file_navigation {
devi@90 278 font-weight : bold;
devi@90 279 margin : 20pt 10pt 0pt 0pt;
devi@90 280 }
devi@90 281
devi@90 282 .filedata {
devi@90 283 padding: 5pt 10pt 5pt 10pt;
devi@90 284 margin: 0pt 10pt 30pt 10pt;
devi@90 285 border-left: 2pt;
devi@90 286 border-right: 2pt;
devi@90 287 border-bottom: 2pt;
devi@90 288 border-style: solid;
devi@90 289 border-color: #f7f7ba;
devi@90 290 background-color: #fffffa;
devi@90 291 }
devi@90 292
devi@90 293 .time_passed {
devi@90 294 padding: 1em 5em 1em 5em
devi@90 295 }
devi@90 296
devi@90 297 .much_time_passed {
devi@90 298 padding: 2em 5em 2em 5em
devi@90 299 }
devi@90 300
devi@90 301 .edit_link {
devi@90 302 float: right;
devi@90 303 font-size: 80%;
devi@90 304 position: relative;
devi@90 305 bottom: 0;
devi@90 306 padding-top: 2em;
devi@90 307 }
devi@90 308
devi@90 309 .lined_header {
devi@90 310 border-bottom: 1pt solid gray;
devi@90 311 padding: 10pt 0pt 5pt 0pt;
devi@90 312 margin: 30pt 0pt 20pt 0pt;
devi@90 313 }
devi@90 314
devi@90 315
devi@101 316 .nav_bar {
devi@101 317 font-size: 80%;
devi@101 318 color: #222222;
devi@101 319 background-color: #eeeeee;
devi@101 320 }
devi@90 321
devi@101 322 /*
devi@101 323 .nav_bar a {
devi@101 324 color: #222222;
devi@101 325 padding-left: 1pt;
devi@101 326 padding-right: 1pt;
devi@101 327 }
devi@101 328 */
devi@101 329 body {
devi@101 330 margin:0;
devi@101 331 padding:0 0 15px 0;
devi@101 332
devi@101 333 }
devi@101 334 .body {
devi@101 335 margin: 10;
devi@101 336 padding: 10;
devi@101 337 }