From 3624d5b413da67e5b8f106aa07afc652b0e4a442 Mon Sep 17 00:00:00 2001
From: Angelos Chalaris <chalarangelo@gmail.com>
Date: Fri, 16 Aug 2019 14:25:50 +0300
Subject: [PATCH] Minor UI changes

---
 src/docs/styles/_code.scss | 4 ++--
 src/docs/styles/_menu.scss | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/docs/styles/_code.scss b/src/docs/styles/_code.scss
index 8abff13f6..5ceccf71e 100644
--- a/src/docs/styles/_code.scss
+++ b/src/docs/styles/_code.scss
@@ -58,7 +58,7 @@ code[class*="language-"]::selection, code[class*="language-"] ::selection {
   background: var(--pre-selected-color);
 }
 
-:not(pre):not(a) > code[class*="language-"] {
+:not(pre) > code[class*="language-"] {
   padding: .1em;
   border-radius: .3em;
   white-space: normal;
@@ -107,7 +107,7 @@ code[class*="language-"]::selection, code[class*="language-"] ::selection {
   color: var(--token-color-f);
 }
 
-p > code {
+p > code, a > code {
   &, &[class*="language-"] {
     color: var(--code-fore-color);
     background: var(--code-back-color);
diff --git a/src/docs/styles/_menu.scss b/src/docs/styles/_menu.scss
index 2ecb14f6b..331b72bb7 100644
--- a/src/docs/styles/_menu.scss
+++ b/src/docs/styles/_menu.scss
@@ -40,6 +40,7 @@
       width: 100%;
       margin-top: 1vh;
       margin-bottom: 4vh;
+      line-height: 12.5vh;
     }
     @media screen and (min-width: $layout-large-breakpoint) {
       margin-bottom: 1vh;