equal
deleted
inserted
replaced
1 /* additional style file for Isabelle/jEdit output */ |
|
2 |
|
3 .message { margin-top: 0.3ex; background-color: #F0F0F0; } |
|
4 |
|
5 .writeln_message { } |
|
6 .tracing_message { background-color: #F0F8FF; } |
|
7 .warning_message { background-color: #EEE8AA; } |
|
8 .error_message { background-color: #FFC1C1; } |
|
9 |
|
10 .intensify { background-color: #FFCC66; } |
|
11 |
|
12 .keyword { font-weight: bold; color: #009966; } |
|
13 .operator { font-weight: bold; } |
|
14 .command { font-weight: bold; color: #006699; } |
|
15 |
|
16 .sendback { background-color: #DCDCDC; } |
|
17 .sendback:hover { background-color: #9DC75D; } |
|