Use CSS to style the disabled tabs.

diff --git a/public/javascripts/site.js b/public/javascripts/site.js
index c17500f571701c9ebb5fff2ec317db5bf7eba09a..cabb1568c8f0f176e9ccd813ca7e9b847019c071 100644 (file)
--- a/public/javascripts/site.js
+++ b/public/javascripts/site.js
@@ -61,11 +61,11 @@ function updatelinks(lon,lat,zoom,layers,minlon,minlat,maxlon,maxlat,objtype,obj
       }
       node.href = setArgs("/edit", args);
       node.title = i18n("javascripts.site.edit_tooltip");
-      node.style.fontStyle = 'normal';
+      node.removeClassName("disabled");
     } else {
       node.href = 'javascript:alert(i18n("javascripts.site.edit_zoom_alert"));';
       node.title = i18n("javascripts.site.edit_disabled_tooltip");
-      node.style.fontStyle = 'italic';
+      node.addClassName("disabled");
     }
   }
 
@@ -88,11 +88,11 @@ function updatelinks(lon,lat,zoom,layers,minlon,minlat,maxlon,maxlat,objtype,obj
 
       node.href = setArgs("/history", args);
       node.title = i18n("javascripts.site.history_tooltip");
-      node.style.fontStyle = 'normal';
+      node.removeClassName("disabled");
     } else {
       node.href = 'javascript:alert(i18n("javascripts.site.history_zoom_alert"));';
       node.title = i18n("javascripts.site.history_disabled_tooltip");
-      node.style.fontStyle = 'italic';
+      node.addClassName("disabled");
     }
   }
 

diff --git a/public/stylesheets/common.css b/public/stylesheets/common.css
index ca6a7be209c610a44cd037f293b78fc524bfa9b7..10e3351437fa001daf3929a2bb4485ca5d9bdedf 100644 (file)
--- a/public/stylesheets/common.css
+++ b/public/stylesheets/common.css
@@ -285,6 +285,11 @@ hr {
   background: #fff;
 }
 
+#tabnav a.disabled
+{
+  font-style: italic;
+}
+
 /* Rules for greeting bar in the top right corner */
 
 #greeting {