author | wenzelm |
Fri, 21 May 2010 20:46:00 +0200 | |
changeset 37045 | 83ea8b551280 |
parent 37040 | 23b0b9986019 |
child 37060 | 6f2731bdba11 |
permissions | -rw-r--r-- |
/* additional style file for Isabelle/jEdit output */ pre.message { margin-top: 0.3ex; background-color: #F0F0F0; } .writeln { } .priority { } .tracing { background-color: #EAF8FF; } .warning { background-color: #EEE8AA; } .error { background-color: #FFC1C1; } .debug { background-color: #FFE4E1; } .hilite { background-color: #FFFACD; }