[dw-nonfree] New Style: Bannering by branchandroot

[kareila]

[commit: http://hg.dwscoalition.org/dw-nonfree/rev/a0713f87e9c1]

http://bugs.dwscoalition.org/show_bug.cgi?id=2996

Rename some custom style properties in Bannering, as requested by ninetydegrees.

Patch by kareila.

Files modified:

• bin/upgrading/s2layers/bannering/themes-local.s2

--------------------------------------------------------------------------------
diff -r e633933b065c -r a0713f87e9c1 bin/upgrading/s2layers/bannering/themes-local.s2
--- a/bin/upgrading/s2layers/bannering/themes-local.s2	Thu Jul 19 21:20:55 2012 -0700
+++ b/bin/upgrading/s2layers/bannering/themes-local.s2	Fri Jul 20 18:02:48 2012 -0700
@@ -34,7 +34,7 @@
 
 set color_module_title = "#000";
 set color_module_border = "#999";
-set color_navlinks_current = "#fff";
+set color_navlinks_link_current = "#fff";
 set color_navlinks_link = "#b12a3b";
 set color_navlinks_link_visited = "#5a6ffc";
 
@@ -96,7 +96,7 @@
 
 set color_module_title = "#fff";
 set color_module_border = "#ccc";
-set color_navlinks_current = "#000";
+set color_navlinks_link_current = "#000";
 set color_navlinks_link = "#900";
 set color_navlinks_link_visited = "#600";
 
--------------------------------------------------------------------------------