diff --git a/html/main.ejs b/html/main.ejs
index 5899f1c8..531093aa 100644
--- a/html/main.ejs
+++ b/html/main.ejs
@@ -833,7 +833,7 @@ padding: 3px;
margin: auto;
overflow: hidden;
z-index: 1;
- height: 13em;
+ height: 16em;
}
#language-container .backtotop a {
position: absolute;
@@ -996,10 +996,23 @@ padding: 3px;