isabelle: lib/html/isabelle.css@9d7cfae95b30 (annotated)

37040 23b0b9986019 observe additional isabelle-jedit.css for component and user; wenzelm parents: 34131 diff changeset	1	/* style file for Isabelle XHTML/XML output */
14542 f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	2
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	3	body { background-color: #FFFFFF; }
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	4
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	5	.head { background-color: #FFFFFF; }
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	6	.source { background-color: #F0F0F0; padding: 10px; }
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	7
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	8	.mlsource { background-color: #F0F0F0; padding: 10px; }
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	9	.mlfooter { background-color: #FFFFFF; }
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	10
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	11	.theories { background-color: #F0F0F0; padding: 10px; }
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	12	.sessions { background-color: #F0F0F0; padding: 10px; }
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	13
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	14	.name { font-style: italic; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	15	.filename { font-family: fixed; }
23716 e6a5959b5a01 added some markup for outer syntax; wenzelm parents: 23612 diff changeset	16
14542 f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	17	/* hide hr for this style */
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	18	hr { height: 0px; border: 0px; }
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	19
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	20
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	21	/* basic syntax markup */
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	22
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	23	.hidden, hidden { font-size: 0.1pt; visibility: hidden; }
1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	24
1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	25	.tclass, tclass { color: red; }
34129 bb20fb8a57be imitate PG colors; wenzelm parents: 33985 diff changeset	26	.tfree, tfree { color: #A020F0; }
bb20fb8a57be imitate PG colors; wenzelm parents: 33985 diff changeset	27	.tvar, tvar { color: #A020F0; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	28	.free, free { color: blue; }
37061 026504e21088 refrain from using bold within the term language -- looks odd in Lobo with error/warning background; wenzelm parents: 37040 diff changeset	29	.skolem, skolem { color: #D2691E; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	30	.bound, bound { color: green; }
34129 bb20fb8a57be imitate PG colors; wenzelm parents: 33985 diff changeset	31	.var, var { color: #00009B; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	32	.numeral, numeral { }
ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	33	.literal, literal { font-weight: bold; }
34129 bb20fb8a57be imitate PG colors; wenzelm parents: 33985 diff changeset	34	.inner_string, inner_string { color: #D2691E; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	35	.inner_comment, inner_comment { color: #8B0000; }
ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	36
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	37	.bold, bold { font-weight: bold; }
34129 bb20fb8a57be imitate PG colors; wenzelm parents: 33985 diff changeset	38	.loc, loc { color: #D2691E; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	39
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	40	.keyword, keyword { font-weight: bold; }
37192 8cdddd689ea9 markup non-identifier keyword as operator; wenzelm parents: 37061 diff changeset	41	.operator, operator { }
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	42	.command, command { font-weight: bold; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	43	.ident, ident { }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	44	.string, string { color: #008B00; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	45	.altstring, altstring { color: #8B8B00; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	46	.verbatim, verbatim { color: #00008B; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	47	.comment, comment { color: #8B0000; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	48	.control, control { background-color: #FF6A6A; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	49	.malformed, malformed { background-color: #FF6A6A; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	50
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	51	.malformed_span, malformed_span { background-color: #FF6A6A; }
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	52

author	blanchet
	Wed, 02 Jun 2010 15:18:48 +0200
changeset 37321	9d7cfae95b30
parent 37192	8cdddd689ea9
child 37940	4857eab31298
permissions	-rw-r--r--