isabelle: src/Tools/jEdit/dist-template/etc/isabelle-jedit.css@620343510c88 (annotated)

37040 23b0b9986019 observe additional isabelle-jedit.css for component and user; wenzelm parents: diff changeset	1	/* additional style file for Isabelle/jEdit output */
23b0b9986019 observe additional isabelle-jedit.css for component and user; wenzelm parents: diff changeset	2
37060 6f2731bdba11 tuned; wenzelm parents: 37045 diff changeset	3	.message { margin-top: 0.3ex; background-color: #F0F0F0; }
37040 23b0b9986019 observe additional isabelle-jedit.css for component and user; wenzelm parents: diff changeset	4
37045 83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	5	.writeln { }
37307 6dce93f3157d tracing in aliceblue; wenzelm parents: 37194 diff changeset	6	.tracing { background-color: #F0F8FF; }
37045 83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	7	.warning { background-color: #EEE8AA; }
83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	8	.error { background-color: #FFC1C1; }
83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	9
39441 4110cc1b8f9f allow embedded reports in regular prover messages, to avoid side-effects for errors for example; wenzelm parents: 39439 diff changeset	10	.report { display: none; }
4110cc1b8f9f allow embedded reports in regular prover messages, to avoid side-effects for errors for example; wenzelm parents: 39439 diff changeset	11
42171 620343510c88 visualize skolem and hilite (undeclared frees); wenzelm parents: 39513 diff changeset	12	.hilite { background-color: #FFCC66; }
37045 83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	13
37194 825456e5db30 less pschedelic token markup; wenzelm parents: 37121 diff changeset	14	.keyword { font-weight: bold; color: #009966; }
825456e5db30 less pschedelic token markup; wenzelm parents: 37121 diff changeset	15	.operator { font-weight: bold; }
825456e5db30 less pschedelic token markup; wenzelm parents: 37121 diff changeset	16	.command { font-weight: bold; color: #006699; }
825456e5db30 less pschedelic token markup; wenzelm parents: 37121 diff changeset	17

author	wenzelm
	Wed, 30 Mar 2011 22:06:25 +0200
changeset 42171	620343510c88
parent 39513	fce2202892c4
child 42977	a59db6677521
permissions	-rw-r--r--