add leaderboard specific stylesheet

This commit is contained in:
Marcus Kammer committed 2011-11-22 14:26:42 +01:00
1 parent df227cae27
commit dffb2bb3a1
1 file changed
+2 -2
@@ -13,7 +13,7 @@
<!-- <inherits name='com.google.gwt.user.theme.standard.Standard'/> -->
<!-- <inherits name='com.google.gwt.user.theme.chrome.Chrome'/> -->
<!-- <inherits name='com.google.gwt.user.theme.dark.Dark'/> -->
<stylesheet src="../Leaderboard.css" />
<!-- Google Maps API -->
<inherits name='com.google.gwt.maps.GoogleMaps' />
@@ -29,4 +29,4 @@
<extend-property name="locale" values="de"/>
<source path='client'/>
<source path='shared'/>
</module>
</module>