lilalo

annotate l3.css @ 94:3fb4d295fb65

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