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/dist-template/etc/isabelle-jedit.css
author wenzelm
Tue, 25 May 2010 23:03:13 +0200
changeset 37121 8e51fc35d59f
parent 37060 6f2731bdba11
child 37194 825456e5db30
permissions -rw-r--r--
eliminated obsolete priority message from Isabelle_Process protocol;
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 { }













83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




     6


.tracing { background-color: #EAF8FF; }













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


.debug { background-color: #FFE4E1; }













83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




    10














83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




    11


.hilite { background-color: #FFFACD; }













83ea8b551280
some message styling;



wenzelm


parents: 
37040

diff
changeset




    12
















isabelle