| author | wenzelm |
| Fri, 17 Sep 2010 22:17:57 +0200 | |
| changeset 39513 | fce2202892c4 |
| parent 39441 | 4110cc1b8f9f |
| child 42171 | 620343510c88 |
| permissions | -rw-r--r-- |
|
37040
23b0b9986019
observe additional isabelle-jedit.css for component and user;
wenzelm
parents:
diff
changeset
|
1 |
/* additional style file for Isabelle/jEdit output */ |
|
23b0b9986019
observe additional isabelle-jedit.css for component and user;
wenzelm
parents:
diff
changeset
|
2 |
|
| 37060 | 3 |
.message { margin-top: 0.3ex; background-color: #F0F0F0; }
|
|
37040
23b0b9986019
observe additional isabelle-jedit.css for component and user;
wenzelm
parents:
diff
changeset
|
4 |
|
| 37045 | 5 |
.writeln { }
|
| 37307 | 6 |
.tracing { background-color: #F0F8FF; }
|
| 37045 | 7 |
.warning { background-color: #EEE8AA; }
|
8 |
.error { background-color: #FFC1C1; }
|
|
9 |
||
|
39441
4110cc1b8f9f
allow embedded reports in regular prover messages, to avoid side-effects for errors for example;
wenzelm
parents:
39439
diff
changeset
|
10 |
.report { display: none; }
|
|
4110cc1b8f9f
allow embedded reports in regular prover messages, to avoid side-effects for errors for example;
wenzelm
parents:
39439
diff
changeset
|
11 |
|
| 37045 | 12 |
.hilite { background-color: #FFFACD; }
|
13 |
||
| 37194 | 14 |
.keyword { font-weight: bold; color: #009966; }
|
15 |
.operator { font-weight: bold; }
|
|
16 |
.command { font-weight: bold; color: #006699; }
|
|
17 |