author | wenzelm |
Sun, 27 Jul 2014 15:40:19 +0200 | |
changeset 59037 | f11f3d7589b1 |
parent 56375 | 8e8243975860 |
child 59180 | 85ec71012df8 |
permissions | -rw-r--r-- |
wenzelm@37047 | 1 |
/* style file for Isabelle XHTML/XML output */ |
kleing@14542 | 2 |
|
kleing@14542 | 3 |
body { background-color: #FFFFFF; } |
kleing@14542 | 4 |
|
kleing@14542 | 5 |
.head { background-color: #FFFFFF; } |
kleing@14542 | 6 |
.source { background-color: #F0F0F0; padding: 10px; } |
kleing@14542 | 7 |
|
wenzelm@38189 | 8 |
.external_source { background-color: #F0F0F0; padding: 10px; } |
wenzelm@38189 | 9 |
.external_footer { background-color: #FFFFFF; } |
kleing@14542 | 10 |
|
kleing@14542 | 11 |
.theories { background-color: #F0F0F0; padding: 10px; } |
kleing@14542 | 12 |
.sessions { background-color: #F0F0F0; padding: 10px; } |
kleing@14542 | 13 |
|
wenzelm@27848 | 14 |
.name { font-style: italic; } |
wenzelm@27848 | 15 |
.filename { font-family: fixed; } |
wenzelm@23716 | 16 |
|
wenzelm@27848 | 17 |
|
wenzelm@33994 | 18 |
/* basic syntax markup */ |
wenzelm@27848 | 19 |
|
wenzelm@44465 | 20 |
.hidden { font-size: 1px; visibility: hidden; } |
wenzelm@33994 | 21 |
|
wenzelm@44421 | 22 |
.binding { color: #336655; } |
wenzelm@44420 | 23 |
.tfree { color: #A020F0; } |
wenzelm@44420 | 24 |
.tvar { color: #A020F0; } |
wenzelm@44420 | 25 |
.free { color: blue; } |
wenzelm@44420 | 26 |
.skolem { color: #D2691E; } |
wenzelm@44420 | 27 |
.bound { color: green; } |
wenzelm@44420 | 28 |
.var { color: #00009B; } |
wenzelm@44420 | 29 |
.numeral { } |
wenzelm@44420 | 30 |
.literal { font-weight: bold; } |
wenzelm@44420 | 31 |
.delimiter { } |
wenzelm@44420 | 32 |
.inner_string { color: #D2691E; } |
wenzelm@56375 | 33 |
.inner_cartouche { color: #CC6600; } |
wenzelm@44420 | 34 |
.inner_comment { color: #8B0000; } |
wenzelm@29321 | 35 |
|
wenzelm@44420 | 36 |
.bold { font-weight: bold; } |
wenzelm@29321 | 37 |
|
wenzelm@44420 | 38 |
.keyword { font-weight: bold; } |
wenzelm@44420 | 39 |
.operator { } |
wenzelm@44420 | 40 |
.command { font-weight: bold; } |
wenzelm@44420 | 41 |
.string { color: #008B00; } |
wenzelm@44420 | 42 |
.altstring { color: #8B8B00; } |
wenzelm@44420 | 43 |
.verbatim { color: #00008B; } |
wenzelm@56375 | 44 |
.cartouche { color: #CC6600; } |
wenzelm@44420 | 45 |
.comment { color: #8B0000; } |
wenzelm@44420 | 46 |
.control { background-color: #FF6A6A; } |
wenzelm@49766 | 47 |
.bad { background-color: #FF6A6A; } |
wenzelm@27848 | 48 |
|
wenzelm@50569 | 49 |
.keyword1 { font-weight: bold; } |
wenzelm@50569 | 50 |
.keyword2 { font-weight: bold; } |
wenzelm@50569 | 51 |