diff --git a/lib/weblib.php b/lib/weblib.php
index da100d90f7e..d7251830d83 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -6235,7 +6235,8 @@ function convert_tree_to_html($tree, $row=0) {
$str .= (!empty($liclass)) ? '
' : '';
if ($tab->inactive || $tab->active || ($tab->selected && !$tab->linkedwhenselected)) {
- $str .= ''.$tab->text.'';
+ // The a tag is used for styling
+ $str .= ''.$tab->text.'';
} else {
$str .= ''.$tab->text.'';
}
diff --git a/theme/standard/styles_fonts.css b/theme/standard/styles_fonts.css
index 949fb806ccc..4f4f2f79b31 100644
--- a/theme/standard/styles_fonts.css
+++ b/theme/standard/styles_fonts.css
@@ -630,6 +630,10 @@ body#grade-index .grades .header {
*** Tabs
***/
+.tabtree a.nolink:hover {
+ text-decoration: none;
+}
+
/***
*** User