docs.css: rm duplicate semicolon

diff --git a/assets/css/docs.css b/assets/css/docs.css
index 297996694441c46fba95fa0474e52868f0b764d2..b297646f4b74ee213bfa5c6320abe2b31d6df328 100644 (file)
--- a/assets/css/docs.css
+++ b/assets/css/docs.css
@@ -178,7 +178,7 @@ body {
   margin-top: 15px;
 }
 .bs-customizer input[type="text"] {
-  font-family: Menlo, Monaco, Consolas, "Courier New", monospace;;
+  font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
   background-color: #fafafa;
 }
 .bs-customizer .help-block {