author | Walther Neuper <wneuper@ist.tugraz.at> |
Wed, 22 Aug 2018 12:47:53 +0200 | |
changeset 59450 | 9797318ac4b5 |
parent 59324 | ec559c6ab5ba |
child 59451 | 71b442e82416 |
permissions | -rw-r--r-- |
wneuper@59324 | 1 |
/* standard document markup */ |
kleing@14542 | 2 |
|
wneuper@59324 | 3 |
dt { |
wneuper@59324 | 4 |
float: left; |
wneuper@59324 | 5 |
clear: left; |
wneuper@59324 | 6 |
padding-right: 0.5em; |
wneuper@59324 | 7 |
font-weight: bold; |
wneuper@59324 | 8 |
} |
wneuper@59324 | 9 |
|
wneuper@59324 | 10 |
body { |
wneuper@59324 | 11 |
color: #000000; |
wneuper@59324 | 12 |
background-color: #FFFFFF; |
wneuper@59324 | 13 |
} |
kleing@14542 | 14 |
|
kleing@14542 | 15 |
.head { background-color: #FFFFFF; } |
wneuper@59324 | 16 |
.source { |
wneuper@59324 | 17 |
direction: ltr; unicode-bidi: bidi-override; |
wneuper@59324 | 18 |
background-color: #FFFFFF; |
wneuper@59324 | 19 |
padding: 10px; |
wneuper@59324 | 20 |
font-family: IsabelleText; |
wneuper@59324 | 21 |
line-height: 147%; |
wneuper@59324 | 22 |
} |
kleing@14542 | 23 |
|
wneuper@59180 | 24 |
.theories { background-color: #FFFFFF; padding: 10px; } |
wneuper@59180 | 25 |
.sessions { background-color: #FFFFFF; padding: 10px; } |
kleing@14542 | 26 |
|
wenzelm@27848 | 27 |
.name { font-style: italic; } |
wenzelm@27848 | 28 |
.filename { font-family: fixed; } |
wenzelm@23716 | 29 |
|
wenzelm@27848 | 30 |
|
wenzelm@33994 | 31 |
/* basic syntax markup */ |
wenzelm@27848 | 32 |
|
wneuper@59324 | 33 |
.hidden { font-family: Vacuous; font-size: 1%; color: rgba(255,255,255,0); } |
wenzelm@33994 | 34 |
|
wenzelm@44421 | 35 |
.binding { color: #336655; } |
wenzelm@44420 | 36 |
.tfree { color: #A020F0; } |
wenzelm@44420 | 37 |
.tvar { color: #A020F0; } |
wneuper@59324 | 38 |
.free { color: #0000FF; } |
wenzelm@44420 | 39 |
.skolem { color: #D2691E; } |
wneuper@59324 | 40 |
.bound { color: #008000; } |
wenzelm@44420 | 41 |
.var { color: #00009B; } |
wenzelm@44420 | 42 |
.numeral { } |
wenzelm@44420 | 43 |
.literal { font-weight: bold; } |
wenzelm@44420 | 44 |
.delimiter { } |
wneuper@59324 | 45 |
.inner_numeral { color: #FF0000; } |
wneuper@59324 | 46 |
.inner_quoted { color: #FF00CC; } |
wenzelm@56375 | 47 |
.inner_cartouche { color: #CC6600; } |
wneuper@59180 | 48 |
.inner_comment { color: #CC0000; } |
wneuper@59324 | 49 |
.dynamic { color: #7BA428; } |
wneuper@59324 | 50 |
.class_parameter_color { color: #D2691E; } |
wenzelm@29321 | 51 |
|
wenzelm@44420 | 52 |
.bold { font-weight: bold; } |
wenzelm@29321 | 53 |
|
wneuper@59324 | 54 |
.main { color: #000000; } |
wneuper@59324 | 55 |
.command { font-weight: bold; } |
wneuper@59324 | 56 |
.keyword { font-weight: bold; } |
wneuper@59324 | 57 |
.keyword1 { color: #006699; } |
wneuper@59324 | 58 |
.keyword2 { color: #009966; } |
wneuper@59324 | 59 |
.keyword3 { color: #0099FF; } |
wneuper@59324 | 60 |
.quasi_keyword { color: #9966FF; } |
wneuper@59324 | 61 |
.operator { color: #323232; } |
wneuper@59180 | 62 |
.string { color: #FF00CC; } |
wneuper@59180 | 63 |
.alt_string { color: #CC00CC; } |
wneuper@59180 | 64 |
.verbatim { color: #6600CC; } |
wenzelm@56375 | 65 |
.cartouche { color: #CC6600; } |
wneuper@59180 | 66 |
.comment { color: #CC0000; } |
wneuper@59180 | 67 |
.improper { color: #FF5050; } |
wenzelm@49766 | 68 |
.bad { background-color: #FF6A6A; } |
wneuper@59324 | 69 |
.quoted { background-color: rgba(139,139,139,0.05); } |
wneuper@59324 | 70 |
.antiquoted { background-color: rgba(255,200,50,0.1); } |
wenzelm@27848 | 71 |
|
wneuper@59324 | 72 |
|
wneuper@59324 | 73 |
/* message background */ |
wneuper@59324 | 74 |
|
wneuper@59324 | 75 |
.writeln_message { background-color: #F0F0F0; } |
wneuper@59324 | 76 |
.information_message { background-color: #DCEAF3; } |
wneuper@59324 | 77 |
.tracing_message { background-color: #F0F8FF; } |
wneuper@59324 | 78 |
.warning_message { background-color: #EEE8AA; } |
wneuper@59324 | 79 |
.legacy_message { background-color: #EEE8AA; } |
wneuper@59324 | 80 |
.error_message { background-color: #FFC1C1; } |
wneuper@59324 | 81 |
|
wneuper@59324 | 82 |
|
wneuper@59324 | 83 |
/* message underline */ |
wneuper@59324 | 84 |
|
wneuper@59324 | 85 |
.writeln { border-bottom: 1px dotted #C0C0C0; } |
wneuper@59324 | 86 |
.information { border-bottom: 1px dotted #C1DFEE; } |
wneuper@59324 | 87 |
.warning { border-bottom: 1px dotted #FF8C00; } |
wneuper@59324 | 88 |
.legacy { border-bottom: 1px dotted #FF8C00; } |
wneuper@59324 | 89 |
.error { border-bottom: 1px dotted #B22222; } |
wneuper@59324 | 90 |
|
wneuper@59324 | 91 |
|
wneuper@59324 | 92 |
/* tooltips */ |
wneuper@59324 | 93 |
|
wneuper@59324 | 94 |
.writeln { position: relative; display: inline-block; } |
wneuper@59324 | 95 |
.information { position: relative; display: inline-block; } |
wneuper@59324 | 96 |
.warning { position: relative; display: inline-block; } |
wneuper@59324 | 97 |
.legacy { position: relative; display: inline-block; } |
wneuper@59324 | 98 |
.error { position: relative; display: inline-block; } |
wneuper@59324 | 99 |
|
wneuper@59324 | 100 |
.writeln:hover .tooltip { visibility: visible; } |
wneuper@59324 | 101 |
.information:hover .tooltip { visibility: visible; } |
wneuper@59324 | 102 |
.warning:hover .tooltip { visibility: visible; } |
wneuper@59324 | 103 |
.legacy:hover .tooltip { visibility: visible; } |
wneuper@59324 | 104 |
.error:hover .tooltip { visibility: visible; } |
wneuper@59324 | 105 |
|
wneuper@59324 | 106 |
.tooltip { |
wneuper@59324 | 107 |
top: -0.5ex; |
wneuper@59324 | 108 |
left: 5em; |
wneuper@59324 | 109 |
visibility: hidden; |
wneuper@59324 | 110 |
width: 50em; |
wneuper@59324 | 111 |
border: 1px solid #808080; |
wneuper@59324 | 112 |
padding: 1px 1px; |
wneuper@59324 | 113 |
background-color: #FFFFE9; |
wneuper@59324 | 114 |
position: absolute; |
wneuper@59324 | 115 |
z-index: 1; |
wneuper@59324 | 116 |
} |
wneuper@59324 | 117 |
|
wneuper@59324 | 118 |
.tooltip pre { margin: 1px; white-space: pre-wrap; } |