isabelle: src/Tools/jEdit/dist-template/etc/isabelle-jedit.css@825456e5db30 (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 { }
83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	6	.tracing { background-color: #EAF8FF; }
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	.debug { background-color: #FFE4E1; }
83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	10
83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	11	.hilite { background-color: #FFFACD; }
83ea8b551280 some message styling; wenzelm parents: 37040 diff changeset	12
37194 825456e5db30 less pschedelic token markup; wenzelm parents: 37121 diff changeset	13	.keyword { font-weight: bold; color: #009966; }
825456e5db30 less pschedelic token markup; wenzelm parents: 37121 diff changeset	14	.operator { font-weight: bold; }
825456e5db30 less pschedelic token markup; wenzelm parents: 37121 diff changeset	15	.command { font-weight: bold; color: #006699; }
825456e5db30 less pschedelic token markup; wenzelm parents: 37121 diff changeset	16

author	wenzelm
	Sun, 30 May 2010 15:27:49 +0200
changeset 37194	825456e5db30
parent 37121	8e51fc35d59f
child 37307	6dce93f3157d
permissions	-rw-r--r--