src/Tools/jEdit/etc/isabelle-jedit.css
author wenzelm
Sun, 20 May 2012 11:34:33 +0200
changeset 47884 21c42b095c84
parent 47543 9980c0c094b8
child 49358 0fa351b1bd14
permissions -rw-r--r--
try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);

/* additional style file for Isabelle/jEdit output */

.message { margin-top: 0.3ex; background-color: #F0F0F0; }

.writeln { }
.tracing { background-color: #F0F8FF; }
.warning { background-color: #EEE8AA; }
.error { background-color: #FFC1C1; }

.report { display: none; }

.hilite { background-color: #FFCC66; }

.keyword { font-weight: bold; color: #009966; }
.operator { font-weight: bold; }
.command { font-weight: bold; color: #006699; }

.sendback { background-color: #DCDCDC; }
.sendback:hover { background-color: #9DC75D; }