| author | wenzelm |
| Thu, 03 Jun 2010 22:45:49 +0200 | |
| changeset 37307 | 6dce93f3157d |
| parent 37195 | 825456e5db30 |
| child 39506 | 6530e87186c9 |
| permissions | -rw-r--r-- |
1 /* additional style file for Isabelle/jEdit output */
3 .message { margin-top: 0.3ex; background-color: #F0F0F0; }
5 .writeln { }
6 .tracing { background-color: #F0F8FF; }
7 .warning { background-color: #EEE8AA; }
8 .error { background-color: #FFC1C1; }
9 .debug { background-color: #FFE4E1; }
11 .hilite { background-color: #FFFACD; }
13 .keyword { font-weight: bold; color: #009966; }
14 .operator { font-weight: bold; }
15 .command { font-weight: bold; color: #006699; }