diff --git a/theme/standard/styles_fonts.css b/theme/standard/styles_fonts.css index 401ee8a98db..e582fb11d3e 100644 --- a/theme/standard/styles_fonts.css +++ b/theme/standard/styles_fonts.css @@ -594,11 +594,12 @@ body#grade-index .grades .header { /*** *** Tabs ***/ -.tablink { - font-size:0.8em; +.tabtree { + font-size:0.9em; + font-weight:bold; } -.tablink a:hover { +.tabtree a:hover { text-decoration: none; }