Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/etc/isabelle-jedit.css
author wenzelm
Sun, 20 May 2012 11:34:33 +0200
changeset 47884 21c42b095c84
parent 47543 9980c0c094b8
child 49358 0fa351b1bd14
permissions -rw-r--r--
try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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





wenzelm


parents: 
37045

diff
changeset




     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






83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




     5


.writeln { }








37307






6dce93f3157d
tracing in aliceblue;



wenzelm


parents: 
37194

diff
changeset




     6


.tracing { background-color: #F0F8FF; }








37045






83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




     7


.warning { background-color: #EEE8AA; }













83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




     8


.error { background-color: #FFC1C1; }













83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




     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









42171






620343510c88
visualize skolem and hilite (undeclared frees);



wenzelm


parents: 
39513

diff
changeset




    12


.hilite { background-color: #FFCC66; }








37045






83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




    13









37194






825456e5db30
less pschedelic token markup;



wenzelm


parents: 
37121

diff
changeset




    14


.keyword { font-weight: bold; color: #009966; }













825456e5db30
less pschedelic token markup;



wenzelm


parents: 
37121

diff
changeset




    15


.operator { font-weight: bold; }













825456e5db30
less pschedelic token markup;



wenzelm


parents: 
37121

diff
changeset




    16


.command { font-weight: bold; color: #006699; }













825456e5db30
less pschedelic token markup;



wenzelm


parents: 
37121

diff
changeset




    17









47543






9980c0c094b8
more friendly sendback rendering, using green and "frisches Steingrau";



wenzelm


parents: 
43284

diff
changeset




    18


.sendback { background-color: #DCDCDC; }













9980c0c094b8
more friendly sendback rendering, using green and "frisches Steingrau";



wenzelm


parents: 
43284

diff
changeset




    19


.sendback:hover { background-color: #9DC75D; }















isabelle