lilalo

annotate l3files/l3.css @ 125:078fab45d863

find changesets by author, revision, files, or words in the commit message
full path to l3-frontend removed
author igor@chub.in
date Fri Jul 04 16:12:31 2008 +0300 (2008-07-04)
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 }