Update header.html

2021-05-11 21:39:36 +02:00
parent 12822047b2
commit 7b0f727efb
1 changed files with 3 additions and 3 deletions
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@ -2,9 +2,9 @@
 .headerlink {
  background-color: #555;
  color: white;
-  float: left;
-  border: 1px;
-  border-style: solid;
+  float: none;
+  border: none;
+  border-style: none;
  outline: none;
  cursor: pointer;
  padding: 14px 16px;