isabelle: etc/isabelle.css@d2f19f05c0e9 (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
61374 b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	3	@font-face {
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	4	font-family: 'IsabelleText';
65089 1d219d76873b clarified fonts; wenzelm parents: 63683 diff changeset	5	src: url('fonts/IsabelleText.ttf') format('truetype');
61374 b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	6	}
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	7
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	8	@font-face {
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	9	font-family: 'IsabelleText';
65089 1d219d76873b clarified fonts; wenzelm parents: 63683 diff changeset	10	src: url('fonts/IsabelleTextBold.ttf') format('truetype');
61374 b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	11	font-weight: bold;
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	12	}
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	13
63683 87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works; wenzelm parents: 62813 diff changeset	14	@font-face {
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works; wenzelm parents: 62813 diff changeset	15	font-family: 'Vacuous';
65089 1d219d76873b clarified fonts; wenzelm parents: 63683 diff changeset	16	src: url('fonts/Vacuous.ttf') format('truetype');
63683 87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works; wenzelm parents: 62813 diff changeset	17	}
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works; wenzelm parents: 62813 diff changeset	18
65837 9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	19
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	20	/* standard document markup */
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	21
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	22	dt {
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	23	float: left;
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	24	clear: left;
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	25	padding-right: 0.5em;
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	26	font-weight: bold;
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	27	}
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	28
14542 f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	29	body { background-color: #FFFFFF; }
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	30
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	31	.head { background-color: #FFFFFF; }
61374 b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	32	.source {
62812 ce22e5c3d4ce more robust display of bidirectional Unicode text: enforce left-to-right; wenzelm parents: 61374 diff changeset	33	direction: ltr; unicode-bidi: bidi-override;
61374 b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	34	background-color: #FFFFFF;
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	35	padding: 10px;
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	36	font-family: IsabelleText;
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	37	line-height: 120%;
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	38	}
14542 f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	39
59120 74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	40	.theories { background-color: #FFFFFF; padding: 10px; }
74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	41	.sessions { background-color: #FFFFFF; padding: 10px; }
14542 f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	42
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	43	.name { font-style: italic; }
eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	44	.filename { font-family: fixed; }
23716 e6a5959b5a01 added some markup for outer syntax; wenzelm parents: 23612 diff changeset	45
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	46
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	47	/* basic syntax markup */
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	48
63683 87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works; wenzelm parents: 62813 diff changeset	49	.hidden { font-family: Vacuous; font-size: 1%; color: rgba(255,255,255,0); }
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	50
43550 b416425c7ad0 tuned color, to avoid confusion with type variables; wenzelm parents: 43549 diff changeset	51	.binding { color: #336655; }
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	52	.tfree { color: #A020F0; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	53	.tvar { color: #A020F0; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	54	.free { color: blue; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	55	.skolem { color: #D2691E; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	56	.bound { color: green; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	57	.var { color: #00009B; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	58	.numeral { }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	59	.literal { font-weight: bold; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	60	.delimiter { }
59120 74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	61	.inner_string { color: #FF00CC; }
55033 8e8243975860 support for nested text cartouches; wenzelm parents: 49554 diff changeset	62	.inner_cartouche { color: #CC6600; }
59120 74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	63	.inner_comment { color: #CC0000; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	64
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	65	.bold { font-weight: bold; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	66
59121 8ea2748241da more jEdit colors; wenzelm parents: 59120 diff changeset	67	.keyword1 { color: #006699; font-weight: bold; }
8ea2748241da more jEdit colors; wenzelm parents: 59120 diff changeset	68	.keyword2 { color: #009966; font-weight: bold; }
59123 e68e44836d04 imitate command markup and rendering of Isabelle/jEdit in HTML output; wenzelm parents: 59121 diff changeset	69	.keyword3 { color: #0099FF; font-weight: bold; }
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	70	.operator { }
59120 74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	71	.string { color: #FF00CC; }
74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	72	.alt_string { color: #CC00CC; }
74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	73	.verbatim { color: #6600CC; }
55033 8e8243975860 support for nested text cartouches; wenzelm parents: 49554 diff changeset	74	.cartouche { color: #CC6600; }
59120 74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	75	.comment { color: #CC0000; }
59125 ee19c92ae8b4 more explicit markup for improper commands; wenzelm parents: 59123 diff changeset	76	.improper { color: #FF5050; }
48751 dc3bbdda4bc8 more visible markup of malformed input as "bad"; wenzelm parents: 46865 diff changeset	77	.bad { background-color: #FF6A6A; }
65891 586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	78
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	79
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	80	/* message background */
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	81
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	82	.writeln_message { background-color: #F0F0F0; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	83	.information_message { background-color: #DCEAF3; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	84	.tracing_message { background-color: #F0F8FF; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	85	.warning_message { background-color: #EEE8AA; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	86	.legacy_message { background-color: #EEE8AA; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	87	.error_message { background-color: #FFC1C1; }

author	wenzelm
	Thu, 25 May 2017 18:07:29 +0200
changeset 65922	d2f19f05c0e9
parent 65891	586911118317
child 65939	9fb044904a4d
permissions	-rw-r--r--