isabelle: etc/isabelle.css@6fe5a0e1fa8e (annotated)

65837 9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	1	/* standard document markup */
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	2
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	3	dt {
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	4	float: left;
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	5	clear: left;
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	6	padding-right: 0.5em;
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	7	font-weight: bold;
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	8	}
9ee6a8d4499b style for <dl> that is reminiscent of LaTeX; wenzelm parents: 65089 diff changeset	9
66039 a2b8c3d31037 explicit foreground color, for the sake of dark theme in VSCode; wenzelm parents: 66000 diff changeset	10	body {
a2b8c3d31037 explicit foreground color, for the sake of dark theme in VSCode; wenzelm parents: 66000 diff changeset	11	color: #000000;
a2b8c3d31037 explicit foreground color, for the sake of dark theme in VSCode; wenzelm parents: 66000 diff changeset	12	background-color: #FFFFFF;
a2b8c3d31037 explicit foreground color, for the sake of dark theme in VSCode; wenzelm parents: 66000 diff changeset	13	}
14542 f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	14
f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	15	.head { background-color: #FFFFFF; }
61374 b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	16	.source {
62812 ce22e5c3d4ce more robust display of bidirectional Unicode text: enforce left-to-right; wenzelm parents: 61374 diff changeset	17	direction: ltr; unicode-bidi: bidi-override;
61374 b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	18	background-color: #FFFFFF;
b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	19	padding: 10px;
69343 395c4fb15ea2 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.; wenzelm parents: 67336 diff changeset	20	font-family: "Isabelle DejaVu Sans Mono", monospace;
61374 b3c665940d62 server-side fonts; wenzelm parents: 59125 diff changeset	21	}
14542 f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	22
59120 74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	23	.theories { background-color: #FFFFFF; padding: 10px; }
74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	24	.sessions { background-color: #FFFFFF; padding: 10px; }
69343 395c4fb15ea2 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.; wenzelm parents: 67336 diff changeset	25	.document { white-space: normal; font-family: "Isabelle DejaVu Serif", serif; }
14542 f4fa346a0b46 use css in generated web pages kleing parents: diff changeset	26
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	27	.name { font-style: italic; }
69343 395c4fb15ea2 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.; wenzelm parents: 67336 diff changeset	28	.filename { font-family: "Isabelle DejaVu Sans Mono", monospace; }
23716 e6a5959b5a01 added some markup for outer syntax; wenzelm parents: 23612 diff changeset	29
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	30
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	31	/* basic syntax markup */
27848 eda38d6e55da removed obsolete theorems; wenzelm parents: 23792 diff changeset	32
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	33	.hidden { font-family: Vacuous; font-size: 1%; color: rgba(255,255,255,0); }
67255 f1f983484878 HTML rendering of \<^control> as in Isabelle/jEdit; wenzelm parents: 66076 diff changeset	34	.control { font-weight: bold; font-style: italic; }
33985 1d33e85a3fa9 added markup for hidden text; wenzelm parents: 29320 diff changeset	35
43550 b416425c7ad0 tuned color, to avoid confusion with type variables; wenzelm parents: 43549 diff changeset	36	.binding { color: #336655; }
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	37	.tfree { color: #A020F0; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	38	.tvar { color: #A020F0; }
66044 bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	39	.free { color: #0000FF; }
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	40	.skolem { color: #D2691E; }
66044 bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	41	.bound { color: #008000; }
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	42	.var { color: #00009B; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	43	.numeral { }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	44	.literal { font-weight: bold; }
bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	45	.delimiter { }
66044 bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	46	.inner_numeral { color: #FF0000; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	47	.inner_quoted { color: #FF00CC; }
55033 8e8243975860 support for nested text cartouches; wenzelm parents: 49554 diff changeset	48	.inner_cartouche { color: #CC6600; }
69351 bff3eb77b0d1 adjusted to fc221fa79741; wenzelm parents: 69350 diff changeset	49	.comment1 { color: #CC0000; }
bff3eb77b0d1 adjusted to fc221fa79741; wenzelm parents: 69350 diff changeset	50	.comment2 { color: #FF8400; }
bff3eb77b0d1 adjusted to fc221fa79741; wenzelm parents: 69350 diff changeset	51	.comment3 { color: #6600CC; }
66044 bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	52	.dynamic { color: #7BA428; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	53	.class_parameter_color { color: #D2691E; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	54
43549 bb4cff2ff556 discontinued generic XML markup -- this is for XHTML with <span/> elements; wenzelm parents: 43548 diff changeset	55	.bold { font-weight: bold; }
29320 ee08a739ad52 updated rendering of inner token markup; wenzelm parents: 27848 diff changeset	56
66044 bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	57	.main { color: #000000; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	58	.command { font-weight: bold; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	59	.keyword { font-weight: bold; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	60	.keyword1 { color: #006699; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	61	.keyword2 { color: #009966; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	62	.keyword3 { color: #0099FF; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	63	.quasi_keyword { color: #9966FF; }
bd7516709051 more HTML rendering as in Isabelle/jEdit; wenzelm parents: 66039 diff changeset	64	.operator { color: #323232; }
59120 74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	65	.string { color: #FF00CC; }
74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	66	.alt_string { color: #CC00CC; }
74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	67	.verbatim { color: #6600CC; }
55033 8e8243975860 support for nested text cartouches; wenzelm parents: 49554 diff changeset	68	.cartouche { color: #CC6600; }
59120 74fde39274d5 proper alt_string markup (cf. 2ceb05ee0331); wenzelm parents: 55033 diff changeset	69	.comment { color: #CC0000; }
59125 ee19c92ae8b4 more explicit markup for improper commands; wenzelm parents: 59123 diff changeset	70	.improper { color: #FF5050; }
69972 5e82015fa879 more accurate HTML rendering; wenzelm parents: 69351 diff changeset	71	.antiquote { color: #6600CC; }
5e82015fa879 more accurate HTML rendering; wenzelm parents: 69351 diff changeset	72	.raw_text { color: #6600CC; }
5e82015fa879 more accurate HTML rendering; wenzelm parents: 69351 diff changeset	73	.plain_text { color: #CC6600; }
48751 dc3bbdda4bc8 more visible markup of malformed input as "bad"; wenzelm parents: 46865 diff changeset	74	.bad { background-color: #FF6A6A; }
66075 408a5325379c tuned rendering; wenzelm parents: 66044 diff changeset	75	.quoted { background-color: rgba(139,139,139,0.05); }
408a5325379c tuned rendering; wenzelm parents: 66044 diff changeset	76	.antiquoted { background-color: rgba(255,200,50,0.1); }
65891 586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	77
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	/* message background */
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	80
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	81	.writeln_message { background-color: #F0F0F0; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	82	.information_message { background-color: #DCEAF3; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	83	.tracing_message { background-color: #F0F8FF; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	84	.warning_message { background-color: #EEE8AA; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	85	.legacy_message { background-color: #EEE8AA; }
586911118317 HTML rendering based on Isabelle/jEdit colors; wenzelm parents: 65837 diff changeset	86	.error_message { background-color: #FFC1C1; }
65939 9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	87
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	88
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	89	/* message underline */
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	90
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	91	.writeln { border-bottom: 1px dotted #C0C0C0; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	92	.information { border-bottom: 1px dotted #C1DFEE; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	93	.warning { border-bottom: 1px dotted #FF8C00; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	94	.legacy { border-bottom: 1px dotted #FF8C00; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	95	.error { border-bottom: 1px dotted #B22222; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	96
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	97
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	98	/* tooltips */
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	99
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	100	.writeln { position: relative; display: inline-block; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	101	.information { position: relative; display: inline-block; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	102	.warning { position: relative; display: inline-block; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	103	.legacy { position: relative; display: inline-block; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	104	.error { position: relative; display: inline-block; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	105
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	106	.writeln:hover .tooltip { visibility: visible; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	107	.information:hover .tooltip { visibility: visible; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	108	.warning:hover .tooltip { visibility: visible; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	109	.legacy:hover .tooltip { visibility: visible; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	110	.error:hover .tooltip { visibility: visible; }
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	111
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	112	.tooltip {
65947 223fd19ac6b3 tuned layout; wenzelm parents: 65945 diff changeset	113	top: -0.5ex;
223fd19ac6b3 tuned layout; wenzelm parents: 65945 diff changeset	114	left: 5em;
65939 9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	115	visibility: hidden;
65982 5b8fafde7d64 tuned layout; wenzelm parents: 65947 diff changeset	116	width: 50em;
65939 9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	117	border: 1px solid #808080;
65941 316c30b60ebc tuned layout; wenzelm parents: 65939 diff changeset	118	padding: 1px 1px;
65939 9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	119	background-color: #FFFFE9;
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	120	position: absolute;
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	121	z-index: 1;
9fb044904a4d support for message underline and tooltips; wenzelm parents: 65891 diff changeset	122	}
65945 35652d0834f4 tuned signature; wenzelm parents: 65941 diff changeset	123
35652d0834f4 tuned signature; wenzelm parents: 65941 diff changeset	124	.tooltip pre { margin: 1px; white-space: pre-wrap; }

author	immler
	Sun, 27 Oct 2019 21:51:14 -0400
changeset 71035	6fe5a0e1fa8e
parent 69972	5e82015fa879
child 72962	af2d0e07493b
permissions	-rw-r--r--