Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more accurate CSS colors;
authorwenzelm
Mon, 13 Jun 2011 23:21:53 +0200
changeset 43377 ba199d75bc7e
parent 43376 0f6880c1c759
child 43378 d7ae1fae113b
more accurate CSS colors;
src/Tools/jEdit/src/isabelle_markup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Mon Jun 13 23:09:01 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Mon Jun 13 23:21:53 2011 +0200
@@ -18,6 +18,8 @@
 {
   /* physical rendering */
 
+  // see http://www.w3schools.com/css/css_colornames.asp
+
   val outdated_color = new Color(240, 240, 240)
   val unfinished_color = new Color(255, 228, 225)
 
@@ -30,7 +32,7 @@
 
   val free_color = new Color(0, 0, 0xFF)
   val skolem_color = new Color(0xD2, 0x69, 0x1E)
-  val bound_color = new Color(0, 0x8B, 0)
+  val bound_color = new Color(0, 0x80, 0)
 
   class Icon(val priority: Int, val icon: javax.swing.Icon)
   {
isabelle