lilalo

view share/labmaker.css @ 6:a0f30dd46d1a

В журнале появились секции
* статистика
* справка
* о программе
И оглавление.

В начале журнала выводится информация о том
курсе и слушателе, к которым этот журнал относится
author devi
date Tue May 24 16:09:08 2005 +0300 (2005-05-24)
parents
children
line source
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
2 {
3 margin : 0px 0px 0px 0px;
4 padding : 0px 0px 0px 10px;
5 vertical-align : top;
6 }
7 .cline,.wrong_cline,.interrupted_cline,.tab_cline,._root_cline,.wrong_root_cline,.interrupted_root_cline,.tab_root_cline
8 { font-weight : bold; }
9 .wrong_output,.wrong_root_output
10 { color : #cc6666; }
11 .interrupted_output,.interrupted_root_output
12 { color : #aaaaaa; }
13 .wrong_cline, .wrong_root_cline
14 { color : #ee7777; }
15 .interrupted_cline, .interrupted_root_cline
16 { color : #777777; }
18 ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline
19 {
20 border-left : #ff0000 solid thin;
22 }
24 .note {
25 color : black;
26 background : #d8fcff;
27 margin : 12px 12px 12px 12px;
28 padding : 6px 6px 6px 6px;
29 border-style : dashed;
30 border-width : thin;
31 border-color : #a8eaff;
32 vertical-align : top;
33 }
35 .note_title,.note_text,.note_search
36 {
37 color : black;
38 margin : 0px 0px 0px 0px;
39 padding : 0px 0px 0px 0px;
40 vertical-align : top;
41 }
42 .note_title { font-family : sans-serif; }
43 .note_text { font-size : 80%; }
44 .note_search { text-align : right; }
47 .diff {
48 color : black;
49 background : #fdffcd;
50 margin : 16px 16px 16px 16px;
51 padding : 6px 6px 6px 6px;
52 border-style : dashed;
53 border-width : thin;
54 }
56 .ttychange {
57 color : #9a9a9a;
58 background : #e7e7e7;
59 margin : 0px 0px 0px 0px;
60 padding : 0px 0px 0px 0px;
61 vertical-align : top;
62 font-family : monospace;
63 }
65 .time {
66 color : #999999;
67 margin : 0px 0px 0px 0px;
68 padding : 0px 10px 0px 0px;
69 vertical-align : top;
70 font-size : 80%;
71 vertical-align : top;
72 /* border-right : #9a9a9a solid thin; */
73 }
75 .script {
76 margin : 0px 0px 0px 0px;
77 padding : 0px 0px 0px 0px;
78 vertical-align : top;
79 }
81 .visibility_form {
82 color : #9a9a9a;
83 background : #e7e7e7;
84 margin : 0px 0px 0px 0px;
85 padding : 0px 0px 0px 0px;
86 vertical-align : top;
87 font-size : 80%;
88 font-family : sans-serif;
89 }