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 { } |
|
6 .tracing { background-color: #F0F8FF; } |
|
7 .warning { background-color: #EEE8AA; } |
|
8 .error { background-color: #FFC1C1; } |
|
9 |
|
10 .report { display: none; } |
|
11 |
|
12 .hilite { background-color: #FFCC66; } |
|
13 |
|
14 .keyword { font-weight: bold; color: #009966; } |
|
15 .operator { font-weight: bold; } |
|
16 .command { font-weight: bold; color: #006699; } |
|
17 |
|
18 .sendback { text-decoration: underline; } |
|
19 .sendback:hover { background-color: #FFCC66; } |
|