lilalo

annotate share/labmaker.css @ 86:3058ada85a58

Сортировка командных строк выполняется только по известным временным параметрам.
Добавлена проверка определённости параметров
author devi
date Sat Feb 25 08:31:35 2006 +0200 (2006-02-25)
parents
children
rev   line source
devi@0 1 .cline,.wrong_cline,.interrupted_cline,.output,.wrong_output,.interrupted_output,.tab_cline, ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline
devi@0 2 {
devi@0 3 margin : 0px 0px 0px 0px;
devi@0 4 padding : 0px 0px 0px 10px;
devi@0 5 vertical-align : top;
devi@0 6 }
devi@0 7 .cline,.wrong_cline,.interrupted_cline,.tab_cline,._root_cline,.wrong_root_cline,.interrupted_root_cline,.tab_root_cline
devi@0 8 { font-weight : bold; }
devi@0 9 .wrong_output,.wrong_root_output
devi@0 10 { color : #cc6666; }
devi@0 11 .interrupted_output,.interrupted_root_output
devi@0 12 { color : #aaaaaa; }
devi@0 13 .wrong_cline, .wrong_root_cline
devi@0 14 { color : #ee7777; }
devi@0 15 .interrupted_cline, .interrupted_root_cline
devi@0 16 { color : #777777; }
devi@0 17
devi@0 18 ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline
devi@0 19 {
devi@0 20 border-left : #ff0000 solid thin;
devi@0 21
devi@0 22 }
devi@0 23
devi@0 24 .note {
devi@0 25 color : black;
devi@0 26 background : #d8fcff;
devi@0 27 margin : 12px 12px 12px 12px;
devi@0 28 padding : 6px 6px 6px 6px;
devi@0 29 border-style : dashed;
devi@0 30 border-width : thin;
devi@0 31 border-color : #a8eaff;
devi@0 32 vertical-align : top;
devi@0 33 }
devi@0 34
devi@0 35 .note_title,.note_text,.note_search
devi@0 36 {
devi@0 37 color : black;
devi@0 38 margin : 0px 0px 0px 0px;
devi@0 39 padding : 0px 0px 0px 0px;
devi@0 40 vertical-align : top;
devi@0 41 }
devi@0 42 .note_title { font-family : sans-serif; }
devi@0 43 .note_text { font-size : 80%; }
devi@0 44 .note_search { text-align : right; }
devi@0 45
devi@0 46
devi@0 47 .diff {
devi@0 48 color : black;
devi@0 49 background : #fdffcd;
devi@0 50 margin : 16px 16px 16px 16px;
devi@0 51 padding : 6px 6px 6px 6px;
devi@0 52 border-style : dashed;
devi@0 53 border-width : thin;
devi@0 54 }
devi@0 55
devi@0 56 .ttychange {
devi@0 57 color : #9a9a9a;
devi@0 58 background : #e7e7e7;
devi@0 59 margin : 0px 0px 0px 0px;
devi@0 60 padding : 0px 0px 0px 0px;
devi@0 61 vertical-align : top;
devi@0 62 font-family : monospace;
devi@0 63 }
devi@0 64
devi@0 65 .time {
devi@0 66 color : #999999;
devi@0 67 margin : 0px 0px 0px 0px;
devi@0 68 padding : 0px 10px 0px 0px;
devi@0 69 vertical-align : top;
devi@0 70 font-size : 80%;
devi@0 71 vertical-align : top;
devi@0 72 /* border-right : #9a9a9a solid thin; */
devi@0 73 }
devi@0 74
devi@0 75 .script {
devi@0 76 margin : 0px 0px 0px 0px;
devi@0 77 padding : 0px 0px 0px 0px;
devi@0 78 vertical-align : top;
devi@0 79 }
devi@0 80
devi@0 81 .visibility_form {
devi@0 82 color : #9a9a9a;
devi@0 83 background : #e7e7e7;
devi@0 84 margin : 0px 0px 0px 0px;
devi@0 85 padding : 0px 0px 0px 0px;
devi@0 86 vertical-align : top;
devi@0 87 font-size : 80%;
devi@0 88 font-family : sans-serif;
devi@0 89 }