Add search to the docs

2025-08-08 04:52:30 +00:00 · 2017-04-15 13:58:21 +02:00
parent 2ecd181c25
commit ba83edd8f5
3 changed files with 113 additions and 3 deletions
--- a/docs/res/css/docs.css
+++ b/docs/res/css/docs.css
@@ -108,6 +108,20 @@ span.sh4 {
    color: #06c;
 }

+#searchBox {
+    width: 100%;
+    border: none;
+    height: 20px;
+    padding: 8px;
+    font-size: 16px;
+    border-radius: 2px;
+    border: 2px solid #ddd;
+}
+
+#searchBox:placeholder-shown {
+    font-style: italic;
+}
+
@media (max-width: 640px) {
    h1 {
        font-size: 18px;