1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/share/labmaker.css	Fri Nov 18 17:46:09 2005 +0200
     1.3 @@ -0,0 +1,89 @@
     1.4 +.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
     1.5 +		{ 
     1.6 +        		margin		: 0px 0px 0px 0px;
     1.7 +        		padding		: 0px 0px 0px 10px; 
     1.8 +			vertical-align	: top;
     1.9 +								}
    1.10 +.cline,.wrong_cline,.interrupted_cline,.tab_cline,._root_cline,.wrong_root_cline,.interrupted_root_cline,.tab_root_cline
    1.11 +		{ 	font-weight	: bold;			}
    1.12 +.wrong_output,.wrong_root_output	
    1.13 +		{ 	color		: #cc6666;		}
    1.14 +.interrupted_output,.interrupted_root_output
    1.15 +		{ 	color		: #aaaaaa;		}
    1.16 +.wrong_cline, .wrong_root_cline	
    1.17 +		{ 	color		: #ee7777; 		}
    1.18 +.interrupted_cline, .interrupted_root_cline
    1.19 +		{ 	color		: #777777; 		}
    1.20 +
    1.21 +._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline
    1.22 +		{
    1.23 +			border-left	: #ff0000 solid thin;
    1.24 +			
    1.25 +		}
    1.26 +
    1.27 +.note 		{ 
    1.28 +	color		: black;
    1.29 +	background 	: #d8fcff; 
    1.30 +        margin		: 12px 12px 12px 12px;
    1.31 +        padding		: 6px 6px 6px 6px; 
    1.32 +        border-style	: dashed;
    1.33 +        border-width	: thin;
    1.34 +	border-color 	: #a8eaff; 
    1.35 +	vertical-align	: top;
    1.36 +}
    1.37 +
    1.38 +.note_title,.note_text,.note_search	
    1.39 +		{ 
    1.40 +			color		: black;
    1.41 +        		margin		: 0px 0px 0px 0px;
    1.42 +        		padding		: 0px 0px 0px 0px; 
    1.43 +			vertical-align	: top;
    1.44 +								}
    1.45 +.note_title	{ 	font-family	: sans-serif; 		}
    1.46 +.note_text 	{ 	font-size	: 80%;			}
    1.47 +.note_search 	{ 	text-align	: right; 		}
    1.48 +
    1.49 +
    1.50 +.diff 		{ 
    1.51 +	color		: black;
    1.52 +	background 	: #fdffcd;
    1.53 +        margin		: 16px 16px 16px 16px;
    1.54 +        padding		: 6px 6px 6px 6px; 
    1.55 +        border-style	: dashed;
    1.56 +        border-width	: thin;
    1.57 +}
    1.58 +
    1.59 +.ttychange 		{ 
    1.60 +	color		: #9a9a9a;
    1.61 +	background 	: #e7e7e7;
    1.62 +        margin		: 0px 0px 0px 0px;
    1.63 +        padding		: 0px 0px 0px 0px; 
    1.64 +	vertical-align	: top;
    1.65 +	font-family	: monospace;
    1.66 +}
    1.67 +
    1.68 +.time 		{ 
    1.69 +	color		: #999999;
    1.70 +        margin		: 0px 0px 0px 0px;
    1.71 +        padding		: 0px 10px 0px 0px; 
    1.72 +	vertical-align	: top;
    1.73 +	font-size	: 80%;
    1.74 +	vertical-align	: top;
    1.75 + /*       border-right	: #9a9a9a solid thin; */
    1.76 +}
    1.77 +
    1.78 +.script 		{ 
    1.79 +        margin		: 0px 0px 0px 0px;
    1.80 +        padding		: 0px 0px 0px 0px; 
    1.81 +	vertical-align	: top;
    1.82 +}
    1.83 +
    1.84 +.visibility_form 		{ 
    1.85 +	color		: #9a9a9a;
    1.86 +	background 	: #e7e7e7;
    1.87 +        margin		: 0px 0px 0px 0px;
    1.88 +        padding		: 0px 0px 0px 0px; 
    1.89 +	vertical-align	: top;
    1.90 +	font-size	: 80%;
    1.91 +	font-family	: sans-serif;
    1.92 +}