| 1 | """ |
|---|
| 2 | SAGE Notebook CSS |
|---|
| 3 | """ |
|---|
| 4 | |
|---|
| 5 | import os |
|---|
| 6 | |
|---|
| 7 | from sage.misc.misc import DOT_SAGE |
|---|
| 8 | |
|---|
| 9 | def css(color='default'): |
|---|
| 10 | r""" |
|---|
| 11 | Return the CSS header used by the SAGE Notebook. |
|---|
| 12 | |
|---|
| 13 | INPUT: |
|---|
| 14 | color -- string or pair of html colors, e.g., |
|---|
| 15 | 'gmail' |
|---|
| 16 | 'grey' |
|---|
| 17 | \code{('#ff0000', '#0000ff')} |
|---|
| 18 | |
|---|
| 19 | EXAMPLES: |
|---|
| 20 | sage: import sage.server.notebook.css as c |
|---|
| 21 | sage: type(c.css()) |
|---|
| 22 | <type 'str'> |
|---|
| 23 | """ |
|---|
| 24 | s = r""" |
|---|
| 25 | div.hidden { |
|---|
| 26 | display:none; |
|---|
| 27 | } |
|---|
| 28 | span.hidden{ |
|---|
| 29 | display:none; |
|---|
| 30 | } |
|---|
| 31 | |
|---|
| 32 | div.fivepix { |
|---|
| 33 | height:5px; |
|---|
| 34 | } |
|---|
| 35 | |
|---|
| 36 | textarea.hidden { |
|---|
| 37 | display:none; |
|---|
| 38 | } |
|---|
| 39 | |
|---|
| 40 | pre.hidden { |
|---|
| 41 | display:none; |
|---|
| 42 | } |
|---|
| 43 | |
|---|
| 44 | /**** TOP CONTROL BAR ************************/ |
|---|
| 45 | |
|---|
| 46 | div.top_control_bar { |
|---|
| 47 | z-index: 0; |
|---|
| 48 | background-color: white; |
|---|
| 49 | position: fixed; |
|---|
| 50 | left: 0px; |
|---|
| 51 | width: 100%; |
|---|
| 52 | top: 0px; |
|---|
| 53 | padding-left: 2ex; |
|---|
| 54 | } |
|---|
| 55 | |
|---|
| 56 | span.control_commands { |
|---|
| 57 | position: fixed; |
|---|
| 58 | top:1ex; |
|---|
| 59 | right:1ex; |
|---|
| 60 | text-align:right; |
|---|
| 61 | color:blue; |
|---|
| 62 | font-weight:normal; |
|---|
| 63 | font-family:arial; |
|---|
| 64 | font-size:12px; |
|---|
| 65 | /* text-decoration:underline; */ |
|---|
| 66 | } |
|---|
| 67 | |
|---|
| 68 | span.worksheet_control_commands { |
|---|
| 69 | position: fixed; |
|---|
| 70 | top:36px; |
|---|
| 71 | right:0px; |
|---|
| 72 | text-align:right; |
|---|
| 73 | color:blue; |
|---|
| 74 | font-weight:normal; |
|---|
| 75 | font-family:arial; |
|---|
| 76 | font-size:12px; |
|---|
| 77 | padding:5; |
|---|
| 78 | } |
|---|
| 79 | |
|---|
| 80 | div.slide_control_commands { |
|---|
| 81 | float:right; |
|---|
| 82 | position: fixed; |
|---|
| 83 | width:500px; |
|---|
| 84 | top:1ex; |
|---|
| 85 | right:1ex; |
|---|
| 86 | text-align:right; |
|---|
| 87 | color:blue; |
|---|
| 88 | font-weight:normal; |
|---|
| 89 | font-family:arial; |
|---|
| 90 | font-size:12px; |
|---|
| 91 | /* text-decoration:underline; */ |
|---|
| 92 | } |
|---|
| 93 | |
|---|
| 94 | span.vbar { |
|---|
| 95 | height:1.5ex; |
|---|
| 96 | border-left:1px solid black; |
|---|
| 97 | width:1px; |
|---|
| 98 | } |
|---|
| 99 | |
|---|
| 100 | div.top_control_bar a { |
|---|
| 101 | color: #0000BB; |
|---|
| 102 | text-decoration: none; |
|---|
| 103 | padding:5; |
|---|
| 104 | } |
|---|
| 105 | |
|---|
| 106 | div.top_control_bar a:hover { |
|---|
| 107 | cursor:pointer; |
|---|
| 108 | } |
|---|
| 109 | |
|---|
| 110 | div.top_control_bar a.upload_worksheet { |
|---|
| 111 | } |
|---|
| 112 | |
|---|
| 113 | div.top_control_bar a.worksheets_button { |
|---|
| 114 | } |
|---|
| 115 | |
|---|
| 116 | div.top_control_bar a.upload_worksheet:hover { |
|---|
| 117 | } |
|---|
| 118 | |
|---|
| 119 | div.top_control_bar a.restart_sage { |
|---|
| 120 | } |
|---|
| 121 | |
|---|
| 122 | div.top_control_bar a.restart_sage:hover { |
|---|
| 123 | background-color:#ff0000; |
|---|
| 124 | } |
|---|
| 125 | |
|---|
| 126 | div.top_control_bar a.restart_sage_in_progress { |
|---|
| 127 | background-color:#ff0000; |
|---|
| 128 | text-decoration:blink; |
|---|
| 129 | } |
|---|
| 130 | |
|---|
| 131 | div.top_control_bar a.interrupt { |
|---|
| 132 | /* text-decoration: underline; |
|---|
| 133 | font-family:arial; |
|---|
| 134 | font-size:12px; |
|---|
| 135 | font-weight:bold; |
|---|
| 136 | color:#000000; |
|---|
| 137 | */ |
|---|
| 138 | } |
|---|
| 139 | |
|---|
| 140 | div.top_control_bar a.interrupt:hover { |
|---|
| 141 | background-color:#bb0000; |
|---|
| 142 | } |
|---|
| 143 | |
|---|
| 144 | div.top_control_bar a.interrupt_grey { |
|---|
| 145 | color:#888888; |
|---|
| 146 | } |
|---|
| 147 | |
|---|
| 148 | div.top_control_bar a.interrupt_in_progress { |
|---|
| 149 | color:#FFFFFF; |
|---|
| 150 | background-color:#bb0000; |
|---|
| 151 | text-decoration:blink; |
|---|
| 152 | } |
|---|
| 153 | |
|---|
| 154 | div.top_control_bar a.help { |
|---|
| 155 | } |
|---|
| 156 | |
|---|
| 157 | div.top_control_bar a.help:hover{ |
|---|
| 158 | } |
|---|
| 159 | |
|---|
| 160 | div.top_control_bar a.slide_mode { |
|---|
| 161 | } |
|---|
| 162 | |
|---|
| 163 | div.top_control_bar a.slide_mode:hover{ |
|---|
| 164 | } |
|---|
| 165 | |
|---|
| 166 | div.top_control_bar a.cell_mode { |
|---|
| 167 | } |
|---|
| 168 | |
|---|
| 169 | div.top_control_bar a.cell_mode:hover{ |
|---|
| 170 | } |
|---|
| 171 | |
|---|
| 172 | div.top_control_bar a.slide_arrow { |
|---|
| 173 | } |
|---|
| 174 | |
|---|
| 175 | div.top_control_bar a.slide_arrow:hover{ |
|---|
| 176 | } |
|---|
| 177 | |
|---|
| 178 | |
|---|
| 179 | div.top_control_bar a.history_link { |
|---|
| 180 | } |
|---|
| 181 | |
|---|
| 182 | div.top_control_bar a.history_link:hover { |
|---|
| 183 | } |
|---|
| 184 | |
|---|
| 185 | |
|---|
| 186 | /* links darker! no underlines! */ |
|---|
| 187 | |
|---|
| 188 | span.worksheet_control_commands a { |
|---|
| 189 | color: #0000BB; |
|---|
| 190 | text-decoration: none; |
|---|
| 191 | padding:5; |
|---|
| 192 | } |
|---|
| 193 | |
|---|
| 194 | span.worksheet_control_commands a:hover { |
|---|
| 195 | cursor:pointer; |
|---|
| 196 | } |
|---|
| 197 | |
|---|
| 198 | span.worksheet_control_commands a.plain_text { |
|---|
| 199 | } |
|---|
| 200 | |
|---|
| 201 | span.worksheet_control_commands a.plain_text:hover { |
|---|
| 202 | } |
|---|
| 203 | |
|---|
| 204 | span.worksheet_control_commands a.doctest_text { |
|---|
| 205 | } |
|---|
| 206 | |
|---|
| 207 | span.worksheet_control_commands a.doctest_text:hover { |
|---|
| 208 | } |
|---|
| 209 | |
|---|
| 210 | span.worksheet_control_commands a.download_sws { |
|---|
| 211 | } |
|---|
| 212 | |
|---|
| 213 | span.worksheet_control_commands a.download_sws:hover { |
|---|
| 214 | } |
|---|
| 215 | |
|---|
| 216 | span.worksheet_control_commands a.evaluate { |
|---|
| 217 | } |
|---|
| 218 | |
|---|
| 219 | span.worksheet_control_commands a.evaluate:hover { |
|---|
| 220 | } |
|---|
| 221 | |
|---|
| 222 | span.worksheet_control_commands a.hide{ |
|---|
| 223 | } |
|---|
| 224 | |
|---|
| 225 | span.worksheet_control_commands a.hide:hover { |
|---|
| 226 | } |
|---|
| 227 | |
|---|
| 228 | |
|---|
| 229 | |
|---|
| 230 | |
|---|
| 231 | |
|---|
| 232 | div.slideshow_control { |
|---|
| 233 | float:right; |
|---|
| 234 | } |
|---|
| 235 | |
|---|
| 236 | div.slideshow_progress { |
|---|
| 237 | float:right; |
|---|
| 238 | background-color:white; |
|---|
| 239 | padding:1px; |
|---|
| 240 | border:1px solid <color2>; |
|---|
| 241 | width:20%; |
|---|
| 242 | } |
|---|
| 243 | div.slideshow_progress_bar{ |
|---|
| 244 | z-index:1; |
|---|
| 245 | position:relative; |
|---|
| 246 | background-color: <color1>; |
|---|
| 247 | } |
|---|
| 248 | div.slideshow_progress_text{ |
|---|
| 249 | position:absolute; |
|---|
| 250 | z-index:2; |
|---|
| 251 | top:2px; |
|---|
| 252 | text-align:center; |
|---|
| 253 | color:black; |
|---|
| 254 | width:20%; |
|---|
| 255 | } |
|---|
| 256 | |
|---|
| 257 | /************** Introspection ****************/ |
|---|
| 258 | |
|---|
| 259 | .completion_menu_selected { |
|---|
| 260 | background-color: #8888ff; |
|---|
| 261 | } |
|---|
| 262 | |
|---|
| 263 | div.introspection { |
|---|
| 264 | } |
|---|
| 265 | |
|---|
| 266 | pre.introspection { |
|---|
| 267 | font-family: monospace; |
|---|
| 268 | font-size:15px; |
|---|
| 269 | background-color: #efefef; |
|---|
| 270 | border: solid 1px black; |
|---|
| 271 | padding:8px; |
|---|
| 272 | margin:8px; |
|---|
| 273 | } |
|---|
| 274 | |
|---|
| 275 | |
|---|
| 276 | ul.completion_menu_one { |
|---|
| 277 | list-style: none; |
|---|
| 278 | position: absolute; |
|---|
| 279 | z-index: 2; |
|---|
| 280 | background-color: #efefef; |
|---|
| 281 | border: solid 1px black; |
|---|
| 282 | display:inline; |
|---|
| 283 | margin: 5px; |
|---|
| 284 | font-family: monospace; |
|---|
| 285 | font-size:15px; |
|---|
| 286 | padding:5px; |
|---|
| 287 | } |
|---|
| 288 | li.completion_menu_one { |
|---|
| 289 | display:inline; |
|---|
| 290 | position: relative; |
|---|
| 291 | float:left; |
|---|
| 292 | margin: 0px; |
|---|
| 293 | } |
|---|
| 294 | |
|---|
| 295 | ul.completion_menu_two { |
|---|
| 296 | display:inline; |
|---|
| 297 | position: relative; |
|---|
| 298 | list-style: none; |
|---|
| 299 | margin: 0px; |
|---|
| 300 | } |
|---|
| 301 | |
|---|
| 302 | li.completion_menu_two{ |
|---|
| 303 | display:block; |
|---|
| 304 | position:relative; |
|---|
| 305 | margin: 3px; |
|---|
| 306 | padding-left: 3px; |
|---|
| 307 | padding-right: 3px; |
|---|
| 308 | } |
|---|
| 309 | |
|---|
| 310 | li.completion_menu_two:hover{ |
|---|
| 311 | background-color: #8888bb; |
|---|
| 312 | cursor:pointer; |
|---|
| 313 | } |
|---|
| 314 | |
|---|
| 315 | |
|---|
| 316 | /***** SEARCH / HELP AREA *********************************/ |
|---|
| 317 | |
|---|
| 318 | span.search_doc_topbar { |
|---|
| 319 | z-index: 12; |
|---|
| 320 | height: 24px; |
|---|
| 321 | font-family:monospace; |
|---|
| 322 | font-size: 12px; |
|---|
| 323 | width:158px; |
|---|
| 324 | top: 40px; |
|---|
| 325 | left: 5px; |
|---|
| 326 | position: fixed; |
|---|
| 327 | border:1px solid #387CAF; |
|---|
| 328 | background-color: #73a6ff; |
|---|
| 329 | } |
|---|
| 330 | |
|---|
| 331 | td.menubar{ |
|---|
| 332 | text-decoration: none; |
|---|
| 333 | font-family:arial; |
|---|
| 334 | font-size:15px; |
|---|
| 335 | font-weight:bold; |
|---|
| 336 | color:#FFFFFF; |
|---|
| 337 | } |
|---|
| 338 | |
|---|
| 339 | a.menubar{ |
|---|
| 340 | text-decoration: none; |
|---|
| 341 | font-family:arial; |
|---|
| 342 | font-size:15px; |
|---|
| 343 | font-weight:bold; |
|---|
| 344 | color:#FFFFFF; |
|---|
| 345 | background-color:#73a6ff; |
|---|
| 346 | } |
|---|
| 347 | |
|---|
| 348 | input.search_input { |
|---|
| 349 | position: fixed; |
|---|
| 350 | left: 5px; |
|---|
| 351 | top: 65px; |
|---|
| 352 | height: 32px; |
|---|
| 353 | width: 160px; |
|---|
| 354 | padding: 4px; |
|---|
| 355 | z-index: 12; |
|---|
| 356 | font-family:monospace; |
|---|
| 357 | font-size:14px; |
|---|
| 358 | color: #222222; |
|---|
| 359 | color: #808080; |
|---|
| 360 | border: 3px solid #387CAF; |
|---|
| 361 | background: #FFF; |
|---|
| 362 | } |
|---|
| 363 | |
|---|
| 364 | span.search_doc { |
|---|
| 365 | z-index: 12; |
|---|
| 366 | font-family:arial; |
|---|
| 367 | font-size:12px; |
|---|
| 368 | overflow:auto; |
|---|
| 369 | position: fixed; |
|---|
| 370 | top: 96px; |
|---|
| 371 | left: 5px; |
|---|
| 372 | width: 154px; |
|---|
| 373 | height: 150px; |
|---|
| 374 | margin: 0px; |
|---|
| 375 | border:1px solid #387CAF; |
|---|
| 376 | background-color: white; |
|---|
| 377 | padding: 2px; |
|---|
| 378 | } |
|---|
| 379 | |
|---|
| 380 | |
|---|
| 381 | /************ INFO PANES **************************/ |
|---|
| 382 | |
|---|
| 383 | span.pane { |
|---|
| 384 | z-index:30; |
|---|
| 385 | font-family: monospace; |
|---|
| 386 | font-size:12px; |
|---|
| 387 | position: fixed; |
|---|
| 388 | left: 5px; |
|---|
| 389 | top: 33px; |
|---|
| 390 | width: 180px; |
|---|
| 391 | height:100%; |
|---|
| 392 | margin: 0px; |
|---|
| 393 | padding-right: 2px; |
|---|
| 394 | padding-left: 0px; |
|---|
| 395 | padding-top: 0px; |
|---|
| 396 | bottom: 0ex; |
|---|
| 397 | } |
|---|
| 398 | |
|---|
| 399 | span.plusminus { |
|---|
| 400 | color:black; |
|---|
| 401 | font-size:8pt; |
|---|
| 402 | font-family:monospace; |
|---|
| 403 | } |
|---|
| 404 | span.plusminus:hover { |
|---|
| 405 | cursor:pointer; |
|---|
| 406 | } |
|---|
| 407 | |
|---|
| 408 | span.controltoggle { |
|---|
| 409 | color:#0000ff; |
|---|
| 410 | font-size:10pt; |
|---|
| 411 | text-decoration:underline; |
|---|
| 412 | } |
|---|
| 413 | span.controltoggle:hover { |
|---|
| 414 | cursor:pointer; |
|---|
| 415 | } |
|---|
| 416 | |
|---|
| 417 | div.left_pane_bar { |
|---|
| 418 | position:fixed; |
|---|
| 419 | left: 0px; |
|---|
| 420 | top:36px; |
|---|
| 421 | background-color: white; |
|---|
| 422 | width:8px; |
|---|
| 423 | height:100%; |
|---|
| 424 | z-index:100; |
|---|
| 425 | } |
|---|
| 426 | div.left_pane_bar:hover { |
|---|
| 427 | background-color: #8888fe; /* #000000; */ |
|---|
| 428 | } |
|---|
| 429 | |
|---|
| 430 | |
|---|
| 431 | /************ VARIABLES **************************/ |
|---|
| 432 | |
|---|
| 433 | span.pane div.variables_topbar { |
|---|
| 434 | color:black; |
|---|
| 435 | background: url('corner.png') no-repeat top left; |
|---|
| 436 | background-color: <color1>; |
|---|
| 437 | font-family:arial; |
|---|
| 438 | text-decoration: none; |
|---|
| 439 | font-size:13px; |
|---|
| 440 | height: 2ex; |
|---|
| 441 | padding-left: 10px; |
|---|
| 442 | padding-bottom:1px; |
|---|
| 443 | width: 174px; |
|---|
| 444 | } |
|---|
| 445 | |
|---|
| 446 | span.pane div.variable_list { |
|---|
| 447 | font-size:11px; |
|---|
| 448 | top:0ex; |
|---|
| 449 | height:20ex; |
|---|
| 450 | border:2px solid <color1>; |
|---|
| 451 | width: 180px; |
|---|
| 452 | overflow:auto; |
|---|
| 453 | } |
|---|
| 454 | |
|---|
| 455 | div.variable_name { |
|---|
| 456 | padding-left:1ex; |
|---|
| 457 | border-top:1px solid #d3e9ff; |
|---|
| 458 | } |
|---|
| 459 | |
|---|
| 460 | /*div.variable_name:hover { |
|---|
| 461 | background-color:<color1>; |
|---|
| 462 | cursor:pointer; |
|---|
| 463 | }*/ |
|---|
| 464 | |
|---|
| 465 | span.varname { |
|---|
| 466 | } |
|---|
| 467 | |
|---|
| 468 | span.vartype { |
|---|
| 469 | /* color:#888888; */ |
|---|
| 470 | color:#657d6c; |
|---|
| 471 | } |
|---|
| 472 | |
|---|
| 473 | /************ ATTACHED **************************/ |
|---|
| 474 | |
|---|
| 475 | span.pane div.attached_topbar { |
|---|
| 476 | color: black; |
|---|
| 477 | height: 2ex; |
|---|
| 478 | top: 0ex; |
|---|
| 479 | background: url('corner.png') no-repeat top left; |
|---|
| 480 | background-color: <color1>; |
|---|
| 481 | text-decoration: none; |
|---|
| 482 | font-size:13px; |
|---|
| 483 | font-family:arial; |
|---|
| 484 | padding-left: 10px; |
|---|
| 485 | padding-bottom:1px; |
|---|
| 486 | width: 174px; |
|---|
| 487 | } |
|---|
| 488 | |
|---|
| 489 | span.pane div.attached_list { |
|---|
| 490 | font-size:11px; |
|---|
| 491 | top:0ex; |
|---|
| 492 | height:20ex; |
|---|
| 493 | border:2px solid <color1>; |
|---|
| 494 | width: 180px; |
|---|
| 495 | overflow:auto; |
|---|
| 496 | } |
|---|
| 497 | |
|---|
| 498 | div.attached_filename { |
|---|
| 499 | padding-left:1ex; |
|---|
| 500 | border-top:1px solid #d3e9ff; |
|---|
| 501 | } |
|---|
| 502 | /* |
|---|
| 503 | div.attached_filename:hover { |
|---|
| 504 | background-color:<color1>; |
|---|
| 505 | cursor:pointer; |
|---|
| 506 | } |
|---|
| 507 | */ |
|---|
| 508 | |
|---|
| 509 | /************ WORKSHEETS **************************/ |
|---|
| 510 | |
|---|
| 511 | span.pane div.worksheets_topbar { |
|---|
| 512 | color:black; |
|---|
| 513 | height: 2ex; |
|---|
| 514 | top: 0ex; |
|---|
| 515 | background: url('corner.png') no-repeat top left; |
|---|
| 516 | background-color: <color2>; |
|---|
| 517 | text-decoration: none; |
|---|
| 518 | font-size:12px; |
|---|
| 519 | font-family:arial; |
|---|
| 520 | padding-left: 10px; |
|---|
| 521 | width: 174px; |
|---|
| 522 | } |
|---|
| 523 | |
|---|
| 524 | span.X { |
|---|
| 525 | color:white; |
|---|
| 526 | font-family:arial monospace; |
|---|
| 527 | font-weight:bold; |
|---|
| 528 | cursor:pointer; |
|---|
| 529 | } |
|---|
| 530 | |
|---|
| 531 | span.pane div.add_new_worksheet_menu { |
|---|
| 532 | color:black; |
|---|
| 533 | top: 0ex; |
|---|
| 534 | background-color: <color2>; |
|---|
| 535 | text-decoration: none; |
|---|
| 536 | font-size:11px; |
|---|
| 537 | font-family:arial; |
|---|
| 538 | padding-left: 10px; |
|---|
| 539 | width: 174px; |
|---|
| 540 | display:none; |
|---|
| 541 | } |
|---|
| 542 | |
|---|
| 543 | input.add_new_worksheet_menu { |
|---|
| 544 | width:60% |
|---|
| 545 | } |
|---|
| 546 | |
|---|
| 547 | button.add_new_worksheet_menu { |
|---|
| 548 | font-size:11px; |
|---|
| 549 | font-family:arial; |
|---|
| 550 | } |
|---|
| 551 | |
|---|
| 552 | span.pane div.upload_worksheet_menu { |
|---|
| 553 | color:black; |
|---|
| 554 | top: 0ex; |
|---|
| 555 | background-color: <color2>; |
|---|
| 556 | text-decoration: none; |
|---|
| 557 | font-size:11px; |
|---|
| 558 | font-family:arial; |
|---|
| 559 | padding-left: 10px; |
|---|
| 560 | width: 174px; |
|---|
| 561 | display:none; |
|---|
| 562 | } |
|---|
| 563 | |
|---|
| 564 | button.upload_worksheet_menu { |
|---|
| 565 | font-size:11px; |
|---|
| 566 | font-family:arial; |
|---|
| 567 | } |
|---|
| 568 | |
|---|
| 569 | input.upload_worksheet_menu { |
|---|
| 570 | |
|---|
| 571 | } |
|---|
| 572 | |
|---|
| 573 | span.pane div.delete_worksheet_menu { |
|---|
| 574 | color:black; |
|---|
| 575 | top: 0ex; |
|---|
| 576 | background-color: <color2>; |
|---|
| 577 | text-decoration: none; |
|---|
| 578 | font-size:11px; |
|---|
| 579 | font-family:arial; |
|---|
| 580 | padding-left: 10px; |
|---|
| 581 | width: 174px; |
|---|
| 582 | display:none; |
|---|
| 583 | } |
|---|
| 584 | |
|---|
| 585 | input.delete_worksheet_menu { |
|---|
| 586 | width:50% |
|---|
| 587 | } |
|---|
| 588 | |
|---|
| 589 | button.delete_worksheet_menu { |
|---|
| 590 | font-size:11px; |
|---|
| 591 | font-family:arial; |
|---|
| 592 | background-color: #ffcccc; |
|---|
| 593 | } |
|---|
| 594 | |
|---|
| 595 | span.pane div.worksheet_list { |
|---|
| 596 | font-size:12px; |
|---|
| 597 | top:0ex; |
|---|
| 598 | height:25ex; |
|---|
| 599 | border:2px solid <color2>; |
|---|
| 600 | overflow:auto; |
|---|
| 601 | width: 180px; |
|---|
| 602 | } |
|---|
| 603 | |
|---|
| 604 | a.new_worksheet { |
|---|
| 605 | font-family: arial, monospace; |
|---|
| 606 | font-size:8pt; |
|---|
| 607 | text-decoration:underline; |
|---|
| 608 | text-align:right; |
|---|
| 609 | color: #0000aa |
|---|
| 610 | } |
|---|
| 611 | |
|---|
| 612 | a.new_worksheet:hover { |
|---|
| 613 | cursor:pointer; |
|---|
| 614 | } |
|---|
| 615 | |
|---|
| 616 | div.worksheet_bottom_padding { |
|---|
| 617 | height:50%; |
|---|
| 618 | } |
|---|
| 619 | |
|---|
| 620 | div.worksheet_top_padding { |
|---|
| 621 | height:5%; |
|---|
| 622 | } |
|---|
| 623 | |
|---|
| 624 | div.worksheet_title { |
|---|
| 625 | z-index:2; |
|---|
| 626 | top:36px; |
|---|
| 627 | height:31px; |
|---|
| 628 | padding-top: 3px; |
|---|
| 629 | padding-left: 1em; |
|---|
| 630 | background: url('corner.png') no-repeat top left; |
|---|
| 631 | background-color: <color1>; |
|---|
| 632 | width: 100%; |
|---|
| 633 | font-family:arial; |
|---|
| 634 | font-size: 16px; |
|---|
| 635 | font-weight:bold; |
|---|
| 636 | color:black; |
|---|
| 637 | position: fixed; |
|---|
| 638 | } |
|---|
| 639 | |
|---|
| 640 | div.worksheet_title_under { |
|---|
| 641 | z-index:0; |
|---|
| 642 | padding-top: 3px; |
|---|
| 643 | padding-left: 1em; |
|---|
| 644 | background-color: <color1>; |
|---|
| 645 | width: 100%; |
|---|
| 646 | font-family:arial; |
|---|
| 647 | font-size: 22px; |
|---|
| 648 | font-weight:bold; |
|---|
| 649 | color:black; |
|---|
| 650 | } |
|---|
| 651 | |
|---|
| 652 | div.worksheet_cell_list { |
|---|
| 653 | padding-left:0.5ex; |
|---|
| 654 | } |
|---|
| 655 | |
|---|
| 656 | a.delete_worksheet { |
|---|
| 657 | font-family: arial, monospace; |
|---|
| 658 | font-size:8pt; |
|---|
| 659 | text-decoration:underline; |
|---|
| 660 | text-align:right; |
|---|
| 661 | color: #0000aa |
|---|
| 662 | } |
|---|
| 663 | |
|---|
| 664 | a.delete_worksheet:hover { |
|---|
| 665 | cursor:pointer; |
|---|
| 666 | } |
|---|
| 667 | |
|---|
| 668 | |
|---|
| 669 | a.upload_worksheet:hover { |
|---|
| 670 | cursor:pointer; |
|---|
| 671 | } |
|---|
| 672 | |
|---|
| 673 | span.pane a.worksheet_current { |
|---|
| 674 | font-size:12px; |
|---|
| 675 | padding-left:1ex; |
|---|
| 676 | border-top:1px solid <color2>; |
|---|
| 677 | background-color:<color2>; |
|---|
| 678 | text-decoration:none; |
|---|
| 679 | color:black; |
|---|
| 680 | } |
|---|
| 681 | |
|---|
| 682 | span.pane a.worksheet_current_computing { |
|---|
| 683 | font-size:12px; |
|---|
| 684 | padding-left:1ex; |
|---|
| 685 | border-top:1px solid <color1>; |
|---|
| 686 | background-color:#ffd1d1; |
|---|
| 687 | text-decoration:none; |
|---|
| 688 | color:black; |
|---|
| 689 | } |
|---|
| 690 | |
|---|
| 691 | span.pane a.worksheet_other { |
|---|
| 692 | font-size:12px; |
|---|
| 693 | padding-left:1ex; |
|---|
| 694 | border-top:1px solid <color2>; |
|---|
| 695 | background-color:white; |
|---|
| 696 | text-decoration:none; |
|---|
| 697 | color:black; |
|---|
| 698 | } |
|---|
| 699 | |
|---|
| 700 | span.pane a.worksheet_other:hover { |
|---|
| 701 | background-color:<color2>; |
|---|
| 702 | text-decoration:none; |
|---|
| 703 | cursor:pointer; |
|---|
| 704 | } |
|---|
| 705 | |
|---|
| 706 | span.pane a.worksheet_other_computing { |
|---|
| 707 | font-size:12px; |
|---|
| 708 | padding-left:1ex; |
|---|
| 709 | border-top:1px solid <color1>; |
|---|
| 710 | background-color:ffd1d1; |
|---|
| 711 | text-decoration:none; |
|---|
| 712 | color:black; |
|---|
| 713 | } |
|---|
| 714 | |
|---|
| 715 | /*********** DOC-BROWSER************************/ |
|---|
| 716 | |
|---|
| 717 | |
|---|
| 718 | .verbatim { |
|---|
| 719 | background-color: #fafad2; |
|---|
| 720 | border-style: solid; |
|---|
| 721 | border-width: 1px 1px; |
|---|
| 722 | border-color: black; |
|---|
| 723 | } |
|---|
| 724 | |
|---|
| 725 | |
|---|
| 726 | /************ OBJECTS **************************/ |
|---|
| 727 | |
|---|
| 728 | span.pane div.objects_topbar { |
|---|
| 729 | color:black; |
|---|
| 730 | height: 2ex; |
|---|
| 731 | top: 0ex; |
|---|
| 732 | background: url('corner.png') no-repeat top left; |
|---|
| 733 | background-color: <color2>; |
|---|
| 734 | text-decoration: none; |
|---|
| 735 | font-size:13px; |
|---|
| 736 | font-family:arial; |
|---|
| 737 | padding-left: 10px; |
|---|
| 738 | padding-bottom:1px; |
|---|
| 739 | width: 174px; |
|---|
| 740 | } |
|---|
| 741 | |
|---|
| 742 | span.pane div.object_list { |
|---|
| 743 | font-size:11px; |
|---|
| 744 | height:20ex; |
|---|
| 745 | border:2px solid <color2>; |
|---|
| 746 | width: 180px; |
|---|
| 747 | overflow:auto; |
|---|
| 748 | } |
|---|
| 749 | |
|---|
| 750 | a.object_name { |
|---|
| 751 | padding-left:1ex; |
|---|
| 752 | border-top:1px solid <color2>; |
|---|
| 753 | background-color:white; |
|---|
| 754 | text-decoration:none; |
|---|
| 755 | color:black; |
|---|
| 756 | } |
|---|
| 757 | |
|---|
| 758 | a.object_name:hover { |
|---|
| 759 | background-color:<color2>; |
|---|
| 760 | text-decoration:none; |
|---|
| 761 | color:black; |
|---|
| 762 | cursor:pointer; |
|---|
| 763 | } |
|---|
| 764 | |
|---|
| 765 | |
|---|
| 766 | |
|---|
| 767 | /************ CONTROLS **************************/ |
|---|
| 768 | |
|---|
| 769 | div.control_area{ |
|---|
| 770 | vertical-align: top; |
|---|
| 771 | } |
|---|
| 772 | |
|---|
| 773 | span.control { |
|---|
| 774 | border:1px solid white; |
|---|
| 775 | font-family: monospace; |
|---|
| 776 | font-size:14pt; |
|---|
| 777 | font-weight:bold; |
|---|
| 778 | } |
|---|
| 779 | |
|---|
| 780 | span.control a.cs { |
|---|
| 781 | color:#777777; |
|---|
| 782 | text-decoration:none; |
|---|
| 783 | border:0px solid white; |
|---|
| 784 | } |
|---|
| 785 | |
|---|
| 786 | span.control:hover a.cs, span.control a:hover.cs { |
|---|
| 787 | color:black; |
|---|
| 788 | border:1px solid #333333; |
|---|
| 789 | } |
|---|
| 790 | |
|---|
| 791 | /************ WORKSHEET **************************/ |
|---|
| 792 | |
|---|
| 793 | div.worksheet { |
|---|
| 794 | position:fixed; |
|---|
| 795 | overflow:auto; |
|---|
| 796 | z-index:1; |
|---|
| 797 | background-color: white; |
|---|
| 798 | border-top: 0px; |
|---|
| 799 | border-left: 2px solid <color1>; |
|---|
| 800 | top: 70px; |
|---|
| 801 | bottom: 0ex; |
|---|
| 802 | right: 0ex; |
|---|
| 803 | left: 198px; |
|---|
| 804 | padding-left: 0ex; |
|---|
| 805 | float: right; |
|---|
| 806 | padding-top: 0ex; |
|---|
| 807 | } |
|---|
| 808 | |
|---|
| 809 | div.slideshow { |
|---|
| 810 | position:fixed; |
|---|
| 811 | overflow:auto; |
|---|
| 812 | z-index:1; |
|---|
| 813 | background-color: white; |
|---|
| 814 | border-top: 0px; |
|---|
| 815 | border-left: 2px solid <color1>; |
|---|
| 816 | top: 70px; |
|---|
| 817 | bottom: 0ex; |
|---|
| 818 | right: 0ex; |
|---|
| 819 | left: 5px; |
|---|
| 820 | padding-left: 0ex; |
|---|
| 821 | float: right; |
|---|
| 822 | padding-top: 0ex; |
|---|
| 823 | } |
|---|
| 824 | |
|---|
| 825 | |
|---|
| 826 | span.banner{ |
|---|
| 827 | background-color:white; |
|---|
| 828 | /* font-family:arial; |
|---|
| 829 | font-size:30px; |
|---|
| 830 | text-decoration: none; |
|---|
| 831 | font-weight: bold; |
|---|
| 832 | color: #387CAF; */ |
|---|
| 833 | } |
|---|
| 834 | |
|---|
| 835 | span.banner a.banner img{ |
|---|
| 836 | text-decoration:none; |
|---|
| 837 | border:none; |
|---|
| 838 | margin-top:2px; |
|---|
| 839 | } |
|---|
| 840 | |
|---|
| 841 | span.banner a.banner:hover { |
|---|
| 842 | } |
|---|
| 843 | |
|---|
| 844 | input.btn { |
|---|
| 845 | font-family: monospace; |
|---|
| 846 | font-size:13pt; |
|---|
| 847 | font-weight:bold; |
|---|
| 848 | color:#808080; |
|---|
| 849 | text-decoration:none; |
|---|
| 850 | background: white; |
|---|
| 851 | padding:0px; |
|---|
| 852 | margin:0px; |
|---|
| 853 | border:1px solid white; |
|---|
| 854 | } |
|---|
| 855 | input.btn:hover { |
|---|
| 856 | color: black; |
|---|
| 857 | text-decoration: none; |
|---|
| 858 | background: white; |
|---|
| 859 | padding: 0px; |
|---|
| 860 | margin: 0px; |
|---|
| 861 | border: 1px solid #333333; |
|---|
| 862 | } |
|---|
| 863 | |
|---|
| 864 | /************ CELL INPUT **************************/ |
|---|
| 865 | |
|---|
| 866 | div.cell_visible { |
|---|
| 867 | display:block; |
|---|
| 868 | } |
|---|
| 869 | |
|---|
| 870 | div.cell_evaluated { |
|---|
| 871 | border-left: 3px solid white; |
|---|
| 872 | padding-left:3px; |
|---|
| 873 | } |
|---|
| 874 | |
|---|
| 875 | div.cell_not_evaluated { |
|---|
| 876 | border-left: 2px dotted #ff8888; |
|---|
| 877 | padding-left:3px; |
|---|
| 878 | } |
|---|
| 879 | |
|---|
| 880 | td.cell_number { |
|---|
| 881 | font-size:12pt; |
|---|
| 882 | font-family:arial, monospace; |
|---|
| 883 | color:#bbbbbb; |
|---|
| 884 | text-align:left; |
|---|
| 885 | } |
|---|
| 886 | |
|---|
| 887 | td.cell_number:hover { |
|---|
| 888 | color:#555555; |
|---|
| 889 | cursor:pointer; |
|---|
| 890 | } |
|---|
| 891 | |
|---|
| 892 | td.cell_number_running { |
|---|
| 893 | font-size:12pt; |
|---|
| 894 | font-family:arial, monospace; |
|---|
| 895 | color:#bbbbbb; |
|---|
| 896 | background-color: 99ff99; |
|---|
| 897 | text-align:left; |
|---|
| 898 | } |
|---|
| 899 | |
|---|
| 900 | td.cell_number_running:hover { |
|---|
| 901 | cursor:wait; |
|---|
| 902 | } |
|---|
| 903 | |
|---|
| 904 | td.output_cell { |
|---|
| 905 | width:100%; |
|---|
| 906 | height:3px; |
|---|
| 907 | } |
|---|
| 908 | |
|---|
| 909 | div.cellbox { |
|---|
| 910 | z-index:2; |
|---|
| 911 | background-color: white; |
|---|
| 912 | padding-left: .5em; |
|---|
| 913 | padding-top: 4em; |
|---|
| 914 | } |
|---|
| 915 | |
|---|
| 916 | pre.cell_input_pre { |
|---|
| 917 | background-color: white; |
|---|
| 918 | border: 0px solid white; |
|---|
| 919 | font-family: monospace; |
|---|
| 920 | font-size:12pt; |
|---|
| 921 | overflow:hidden; |
|---|
| 922 | padding-left:0px; |
|---|
| 923 | padding-top:0px; |
|---|
| 924 | padding-bottom:0px; |
|---|
| 925 | margin:0px; |
|---|
| 926 | display:inline; |
|---|
| 927 | width: 100%; |
|---|
| 928 | } |
|---|
| 929 | |
|---|
| 930 | textarea.cell_input { |
|---|
| 931 | color:#000000; |
|---|
| 932 | background-color: #e8e8e8; |
|---|
| 933 | border: 2px solid white; |
|---|
| 934 | font-family: monospace; |
|---|
| 935 | font-size:12pt; |
|---|
| 936 | overflow:auto; |
|---|
| 937 | padding-left:5px; |
|---|
| 938 | padding-top:3px; |
|---|
| 939 | padding-bottom:0px; |
|---|
| 940 | width: 100%; |
|---|
| 941 | margin-bottom:0px; |
|---|
| 942 | margin-top:0px; |
|---|
| 943 | } |
|---|
| 944 | |
|---|
| 945 | pre.cell_input { |
|---|
| 946 | color:#000000; |
|---|
| 947 | background-color: white; |
|---|
| 948 | border: 2px solid #e8e8e8; |
|---|
| 949 | font-family: monospace; |
|---|
| 950 | font-size:12pt; |
|---|
| 951 | overflow:auto; |
|---|
| 952 | padding-left:5px; |
|---|
| 953 | padding-top:3px; |
|---|
| 954 | padding-bottom:0px; |
|---|
| 955 | width: 100%; |
|---|
| 956 | margin-bottom:0px; |
|---|
| 957 | margin-top:0px; |
|---|
| 958 | |
|---|
| 959 | } |
|---|
| 960 | pre.cell_input:hover { |
|---|
| 961 | cursor:pointer; |
|---|
| 962 | } |
|---|
| 963 | |
|---|
| 964 | textarea.cell_input_hide { |
|---|
| 965 | background-color: white; |
|---|
| 966 | border: 0px solid white; |
|---|
| 967 | font-family: monospace; |
|---|
| 968 | font-size:12pt; |
|---|
| 969 | overflow:hidden; |
|---|
| 970 | padding-left:3px; |
|---|
| 971 | padding-top:0px; |
|---|
| 972 | padding-bottom:0px; |
|---|
| 973 | width: 100%; |
|---|
| 974 | height:0.5em; |
|---|
| 975 | margin:0px; |
|---|
| 976 | } |
|---|
| 977 | |
|---|
| 978 | |
|---|
| 979 | pre.cell_input_hide { |
|---|
| 980 | background-color: white; |
|---|
| 981 | border: 2px solid #e8e8e8; |
|---|
| 982 | font-family: monospace; |
|---|
| 983 | font-size:12pt; |
|---|
| 984 | overflow:hidden; |
|---|
| 985 | padding-left:3px; |
|---|
| 986 | padding-top:0px; |
|---|
| 987 | padding-bottom:0px; |
|---|
| 988 | width: 100%; |
|---|
| 989 | height:1em; |
|---|
| 990 | margin:0px; |
|---|
| 991 | } |
|---|
| 992 | |
|---|
| 993 | pre.cell_input_hide:hover { |
|---|
| 994 | cursor:pointer; |
|---|
| 995 | } |
|---|
| 996 | |
|---|
| 997 | textarea.cell_input_active { |
|---|
| 998 | background-color: white; |
|---|
| 999 | border: 2px solid #8888fe; |
|---|
| 1000 | font-family: monospace; |
|---|
| 1001 | font-size:12pt; |
|---|
| 1002 | overflow:auto; |
|---|
| 1003 | padding-left:5px; |
|---|
| 1004 | padding-top:3px; |
|---|
| 1005 | padding-bottom:0px; |
|---|
| 1006 | margin-top:0px; |
|---|
| 1007 | margin-bottom:0px; |
|---|
| 1008 | width: 100%; |
|---|
| 1009 | } |
|---|
| 1010 | |
|---|
| 1011 | |
|---|
| 1012 | span.cell_evaluate { |
|---|
| 1013 | position: relative; |
|---|
| 1014 | top: 2px; |
|---|
| 1015 | cursor:pointer; |
|---|
| 1016 | } |
|---|
| 1017 | |
|---|
| 1018 | |
|---|
| 1019 | /************ CELL OUTPUT **************************/ |
|---|
| 1020 | |
|---|
| 1021 | div.cell_output { |
|---|
| 1022 | font-family: monospace; |
|---|
| 1023 | font-size:12pt; |
|---|
| 1024 | width: 95%; |
|---|
| 1025 | margin-top:-5px; |
|---|
| 1026 | margin-bottom:5px; |
|---|
| 1027 | padding-bottom:5px; |
|---|
| 1028 | |
|---|
| 1029 | /* border-left: 1px solid #aaaaff; */ |
|---|
| 1030 | } |
|---|
| 1031 | |
|---|
| 1032 | table.cell_output_box { |
|---|
| 1033 | margin:0px; |
|---|
| 1034 | padding:0px; |
|---|
| 1035 | } |
|---|
| 1036 | |
|---|
| 1037 | /*table.cell_output_box:hover { |
|---|
| 1038 | background-color: #fafafa; |
|---|
| 1039 | } |
|---|
| 1040 | */ |
|---|
| 1041 | |
|---|
| 1042 | div.cell_output_wrap { |
|---|
| 1043 | font-size:12pt; |
|---|
| 1044 | margin:0px; |
|---|
| 1045 | padding-left:0px; |
|---|
| 1046 | color:#0000aa; |
|---|
| 1047 | } |
|---|
| 1048 | |
|---|
| 1049 | span.cell_output_wrap { |
|---|
| 1050 | font-size:12pt; |
|---|
| 1051 | margin:0px; |
|---|
| 1052 | padding:0px; |
|---|
| 1053 | color:#0000aa; |
|---|
| 1054 | } |
|---|
| 1055 | span.cell_output_nowrap { |
|---|
| 1056 | display:none; |
|---|
| 1057 | } |
|---|
| 1058 | span.cell_output_hidden { |
|---|
| 1059 | display:none; |
|---|
| 1060 | } |
|---|
| 1061 | |
|---|
| 1062 | |
|---|
| 1063 | span.cell_output_nowrap_wrap { |
|---|
| 1064 | display:none; |
|---|
| 1065 | } |
|---|
| 1066 | span.cell_output_nowrap_nowrap { |
|---|
| 1067 | font-size:12pt; |
|---|
| 1068 | margin:0px; |
|---|
| 1069 | padding:0px; |
|---|
| 1070 | color:#0000aa; |
|---|
| 1071 | } |
|---|
| 1072 | span.cell_output_nowrap_hidden { |
|---|
| 1073 | display:none; |
|---|
| 1074 | } |
|---|
| 1075 | |
|---|
| 1076 | span.cell_output_html_wrap { |
|---|
| 1077 | font-family: monospace; |
|---|
| 1078 | font-size:12pt; |
|---|
| 1079 | } |
|---|
| 1080 | span.cell_output_html_nowrap { |
|---|
| 1081 | font-family: monospace; |
|---|
| 1082 | font-size:12pt; |
|---|
| 1083 | } |
|---|
| 1084 | span.cell_output_html_hidden { |
|---|
| 1085 | display:none; |
|---|
| 1086 | } |
|---|
| 1087 | |
|---|
| 1088 | div.cell_output_running { |
|---|
| 1089 | font-family: monospace; |
|---|
| 1090 | font-size:12pt; |
|---|
| 1091 | width: 100%; |
|---|
| 1092 | margin:0px; |
|---|
| 1093 | background-color:#ffffff; |
|---|
| 1094 | padding:0px; |
|---|
| 1095 | } |
|---|
| 1096 | |
|---|
| 1097 | div.cell_output_running:hover { |
|---|
| 1098 | cursor:wait; |
|---|
| 1099 | } |
|---|
| 1100 | |
|---|
| 1101 | |
|---|
| 1102 | div.cell_output_hidden { |
|---|
| 1103 | width: 100%; |
|---|
| 1104 | height: 3px; |
|---|
| 1105 | margin:0px; |
|---|
| 1106 | border-left: 4em solid #aaaaaa; |
|---|
| 1107 | /* border-top: 1px solid <color1>; |
|---|
| 1108 | border-bottom: 1px solid <color1>; |
|---|
| 1109 | */ |
|---|
| 1110 | } |
|---|
| 1111 | |
|---|
| 1112 | pre.shrunk { |
|---|
| 1113 | /* height:0px; */ |
|---|
| 1114 | display:inline; |
|---|
| 1115 | } |
|---|
| 1116 | |
|---|
| 1117 | pre.cell_output_hidden { |
|---|
| 1118 | display: none; |
|---|
| 1119 | } |
|---|
| 1120 | |
|---|
| 1121 | pre.cell_output_hide { |
|---|
| 1122 | display:none; |
|---|
| 1123 | } |
|---|
| 1124 | |
|---|
| 1125 | a.file_link { |
|---|
| 1126 | text-decoration:underline; |
|---|
| 1127 | } |
|---|
| 1128 | |
|---|
| 1129 | |
|---|
| 1130 | /************ INSERTING NEW CELLS **************************/ |
|---|
| 1131 | |
|---|
| 1132 | div.insert_new_cell { |
|---|
| 1133 | height:6px; |
|---|
| 1134 | width:100%; |
|---|
| 1135 | /* border-top: 4px solid white; */ |
|---|
| 1136 | display:block; |
|---|
| 1137 | margin:3px; |
|---|
| 1138 | } |
|---|
| 1139 | |
|---|
| 1140 | div.insert_new_cell:hover { |
|---|
| 1141 | /* border-top: 4px solid #000000; */ |
|---|
| 1142 | background-color: #8888fe; /* #000000; */ |
|---|
| 1143 | margin:3px; |
|---|
| 1144 | /* background-color:#eeeeee; */ |
|---|
| 1145 | } |
|---|
| 1146 | |
|---|
| 1147 | |
|---|
| 1148 | /************ DEBUG WINDOW **************************/ |
|---|
| 1149 | |
|---|
| 1150 | div.debug_window_active { |
|---|
| 1151 | background-color: white; |
|---|
| 1152 | border: 1px solid #fe8888; |
|---|
| 1153 | overflow:auto; |
|---|
| 1154 | padding-left:3px; |
|---|
| 1155 | padding-top:0px; |
|---|
| 1156 | padding-bottom:0px; |
|---|
| 1157 | width: 100%; |
|---|
| 1158 | } |
|---|
| 1159 | div.debug_window_inactive { |
|---|
| 1160 | background-color: white; |
|---|
| 1161 | border: 1px solid #888888; |
|---|
| 1162 | overflow:auto; |
|---|
| 1163 | padding-left:0px; |
|---|
| 1164 | padding-top:0px; |
|---|
| 1165 | padding-bottom:0px; |
|---|
| 1166 | width: 100%; |
|---|
| 1167 | } |
|---|
| 1168 | |
|---|
| 1169 | |
|---|
| 1170 | div.debug_output { |
|---|
| 1171 | background-color: white; |
|---|
| 1172 | border: 0px; |
|---|
| 1173 | font-family: monospace; |
|---|
| 1174 | font-size:10pt; |
|---|
| 1175 | overflow:scroll; |
|---|
| 1176 | padding-left:3px; |
|---|
| 1177 | padding-top:0px; |
|---|
| 1178 | padding-bottom:0px; |
|---|
| 1179 | height: 10em; |
|---|
| 1180 | width: 100%; |
|---|
| 1181 | } |
|---|
| 1182 | |
|---|
| 1183 | |
|---|
| 1184 | textarea.debug_input { |
|---|
| 1185 | background-color: white; |
|---|
| 1186 | border: 1px solid #8888fe; |
|---|
| 1187 | font-family: monospace; |
|---|
| 1188 | font-size:12pt; |
|---|
| 1189 | overflow:scroll; |
|---|
| 1190 | padding-left:3px; |
|---|
| 1191 | padding-top:0px; |
|---|
| 1192 | padding-bottom:0px; |
|---|
| 1193 | width: 100%; |
|---|
| 1194 | } |
|---|
| 1195 | |
|---|
| 1196 | span.red{ |
|---|
| 1197 | color:red; |
|---|
| 1198 | } |
|---|
| 1199 | |
|---|
| 1200 | |
|---|
| 1201 | """ |
|---|
| 1202 | if color == 'gmail': |
|---|
| 1203 | color1 = '#c3d9ff' |
|---|
| 1204 | color2 = '#b5edbc' |
|---|
| 1205 | elif color == 'grey': |
|---|
| 1206 | color1 = '#aaaaaa' |
|---|
| 1207 | color2 = '#888888' |
|---|
| 1208 | elif color == 'default' or color == None: |
|---|
| 1209 | color1 = '#dcdcdc' |
|---|
| 1210 | color2 = '#cccccc' |
|---|
| 1211 | #color1 = '#aaaaff' |
|---|
| 1212 | #color2 = '#b5edbc' |
|---|
| 1213 | #color2 = '#6cc755' |
|---|
| 1214 | elif isinstance(color, (tuple,list)): |
|---|
| 1215 | color1, color2 = color |
|---|
| 1216 | else: |
|---|
| 1217 | raise ValueError, "unknown color scheme %s"%color |
|---|
| 1218 | |
|---|
| 1219 | s = s.replace('<color1>',color1).replace('<color2>',color2) |
|---|
| 1220 | user_css = DOT_SAGE + '/notebook.css' |
|---|
| 1221 | if os.path.exists(user_css): |
|---|
| 1222 | s += '\n' + open(user_css).read() |
|---|
| 1223 | |
|---|
| 1224 | return s |
|---|
