1/* standard document markup */ 2 3dt { 4 float: left; 5 clear: left; 6 padding-right: 0.5em; 7 font-weight: bold; 8} 9 10body { 11 color: #000000; 12 background-color: #FFFFFF; 13} 14 15.head { background-color: #FFFFFF; } 16.source { 17 direction: ltr; unicode-bidi: bidi-override; 18 background-color: #FFFFFF; 19 padding: 10px; 20 font-family: "Isabelle DejaVu Sans Mono", monospace; 21} 22 23.theories { background-color: #FFFFFF; padding: 10px; } 24.sessions { background-color: #FFFFFF; padding: 10px; } 25.document { white-space: normal; font-family: "Isabelle DejaVu Serif", serif; } 26 27.name { font-style: italic; } 28.filename { font-family: "Isabelle DejaVu Sans Mono", monospace; } 29 30 31/* basic syntax markup */ 32 33.hidden { font-family: Vacuous; font-size: 1%; color: rgba(255,255,255,0); } 34.control { font-weight: bold; font-style: italic; } 35 36.binding { color: #336655; } 37.tfree { color: #A020F0; } 38.tvar { color: #A020F0; } 39.free { color: #0000FF; } 40.skolem { color: #D2691E; } 41.bound { color: #008000; } 42.var { color: #00009B; } 43.numeral { } 44.literal { font-weight: bold; } 45.delimiter { } 46.inner_numeral { color: #FF0000; } 47.inner_quoted { color: #FF00CC; } 48.inner_cartouche { color: #CC6600; } 49.comment1 { color: #CC0000; } 50.comment2 { color: #FF8400; } 51.comment3 { color: #6600CC; } 52.dynamic { color: #7BA428; } 53.class_parameter_color { color: #D2691E; } 54 55.bold { font-weight: bold; } 56 57.main { color: #000000; } 58.command { font-weight: bold; } 59.keyword { font-weight: bold; } 60.keyword1 { color: #006699; } 61.keyword2 { color: #009966; } 62.keyword3 { color: #0099FF; } 63.quasi_keyword { color: #9966FF; } 64.operator { color: #323232; } 65.string { color: #FF00CC; } 66.alt_string { color: #CC00CC; } 67.verbatim { color: #6600CC; } 68.cartouche { color: #CC6600; } 69.comment { color: #CC0000; } 70.improper { color: #FF5050; } 71.antiquote { color: #6600CC; } 72.raw_text { color: #6600CC; } 73.plain_text { color: #CC6600; } 74.bad { background-color: #FF6A6A; } 75.quoted { background-color: rgba(139,139,139,0.05); } 76.antiquoted { background-color: rgba(255,200,50,0.1); } 77 78 79/* message background */ 80 81.writeln_message { background-color: #F0F0F0; } 82.information_message { background-color: #DCEAF3; } 83.tracing_message { background-color: #F0F8FF; } 84.warning_message { background-color: #EEE8AA; } 85.legacy_message { background-color: #EEE8AA; } 86.error_message { background-color: #FFC1C1; } 87 88 89/* message underline */ 90 91.writeln { border-bottom: 1px dotted #C0C0C0; } 92.information { border-bottom: 1px dotted #C1DFEE; } 93.warning { border-bottom: 1px dotted #FF8C00; } 94.legacy { border-bottom: 1px dotted #FF8C00; } 95.error { border-bottom: 1px dotted #B22222; } 96 97 98/* tooltips */ 99 100.writeln { position: relative; display: inline-block; } 101.information { position: relative; display: inline-block; } 102.warning { position: relative; display: inline-block; } 103.legacy { position: relative; display: inline-block; } 104.error { position: relative; display: inline-block; } 105 106.writeln:hover .tooltip { visibility: visible; } 107.information:hover .tooltip { visibility: visible; } 108.warning:hover .tooltip { visibility: visible; } 109.legacy:hover .tooltip { visibility: visible; } 110.error:hover .tooltip { visibility: visible; } 111 112.tooltip { 113 top: -0.5ex; 114 left: 5em; 115 visibility: hidden; 116 width: 50em; 117 border: 1px solid #808080; 118 padding: 1px 1px; 119 background-color: #FFFFE9; 120 position: absolute; 121 z-index: 1; 122} 123 124.tooltip pre { margin: 1px; white-space: pre-wrap; } 125