lilalo

annotate l3files/l3.css @ 150:822b36252d7f

find changesets by author, revision, files, or words in the commit message
Вывод больших фрагментов текста не теряется.

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