diff --git a/docs/theme/stylesheets/extra.css b/docs/theme/stylesheets/extra.css
index a963a0c221..e4ad477104 100644
--- a/docs/theme/stylesheets/extra.css
+++ b/docs/theme/stylesheets/extra.css
@@ -1,4 +1,4 @@
-:root  > * {
+:root>* {
   /* primary */
   --md-primary-fg-color: #2c2c2c;
   --md-primary-fg-color--light: #a8a8a8;
@@ -13,8 +13,7 @@
 }
 
 /* Dark theme customisation */
-[data-md-color-scheme="slate"]
-{
+[data-md-color-scheme="slate"] {
   --md-accent-fg-color--dark: #F25757;
 }
 
@@ -69,14 +68,19 @@ body hr {
 /* Replacement for `body { background-attachment: fixed; }`, which
    has performance issues when scrolling on large displays. */
 body::before {
-    content: ' ';
-    position: fixed;
-    width: 100%;
-    height: 100%;
-    top: 0;
-    left: 0;
-    background-color: #f8f8f8;
-    background: url(../img/grid.png) repeat-x;
-    will-change: transform;
-    z-index: -1;
-}
\ No newline at end of file
+  content: ' ';
+  position: fixed;
+  width: 100%;
+  height: 100%;
+  top: 0;
+  left: 0;
+  background-color: #f8f8f8;
+  background: url(../img/grid.png) repeat-x;
+  will-change: transform;
+  z-index: -1;
+}
+
+a.md-nav__link.md-nav__link--active {
+  font-weight: 700;
+  color: var(--md-accent-fg-color--dark);
+}