isabelle: etc/isabelle.css@958d439b3013 (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
37940 4857eab31298 generic external source files -- nothing special about ML here; wenzelm parents: 37192 diff changeset	8	.external_source { background-color: #F0F0F0; padding: 10px; }
4857eab31298 generic external source files -- nothing special about ML here; wenzelm parents: 37192 diff changeset	9	.external_footer { background-color: #FFFFFF; }
14542 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
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	17
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	18	/* basic syntax markup */
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	19
43592 e67d104c0c50 HTML: render control symbols more like Isabelle/Scala/jEdit; wenzelm parents: 43552 diff changeset	20	.hidden { font-size: 1px; visibility: hidden; }
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	21
43550 b416425c7ad0 tuned color, to avoid confusion with type variables; wenzelm parents: 43549 diff changeset	22	.binding { color: #336655; }
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	23	.tfree { color: #A020F0; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	24	.tvar { color: #A020F0; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	25	.free { color: blue; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	26	.skolem { color: #D2691E; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	27	.bound { color: green; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	28	.var { color: #00009B; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	29	.numeral { }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	30	.literal { font-weight: bold; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	31	.delimiter { }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	32	.inner_string { color: #D2691E; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	33	.inner_comment { color: #8B0000; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	34
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	35	.bold { font-weight: bold; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	36
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	37	.keyword { font-weight: bold; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	38	.operator { }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	39	.command { font-weight: bold; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	40	.string { color: #008B00; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	41	.altstring { color: #8B8B00; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	42	.verbatim { color: #00008B; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	43	.comment { color: #8B0000; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	44	.control { background-color: #FF6A6A; }
48751 dc3bbdda4bc8 more visible markup of malformed input as "bad"; wenzelm parents: 46865 diff changeset	45	.bad { background-color: #FF6A6A; }
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	46
49554 7b7bd2d7661d more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker; wenzelm parents: 48752 diff changeset	47	.keyword1 { font-weight: bold; }
7b7bd2d7661d more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker; wenzelm parents: 48752 diff changeset	48	.keyword2 { font-weight: bold; }
7b7bd2d7661d more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker; wenzelm parents: 48752 diff changeset	49

author	wenzelm
	Sun, 12 May 2013 14:25:16 +0200
changeset 51940	958d439b3013
parent 49554	7b7bd2d7661d
child 55033	8e8243975860
permissions	-rw-r--r--