[simple] add CSS for /info pages

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>

searx/static/themes/simple/src/less/definitions.less

@@ -109,6 +109,8 @@
   --color-toolkit-engine-tooltip-background: #fff;
   --color-toolkit-loader-border: rgba(0, 0, 0, 0.2);
   --color-toolkit-loader-borderleft: rgba(255, 255, 255, 0);
+  --color-doc-code: #300;
+  --color-doc-code-background: #fdd;
 }
 
 .dark-themes() {
@@ -215,6 +217,8 @@
   --color-toolkit-engine-tooltip-background: #222;
   --color-toolkit-loader-border: rgba(255, 255, 255, 0.2);
   --color-toolkit-loader-borderleft: rgba(0, 0, 0, 0);
+  --color-doc-code: #fdd;
+  --color-doc-code-background: #300;
 }
 
 /// Dark Theme (autoswitch based on device pref)

searx/static/themes/simple/src/less/info.less

@@ -0,0 +1,13 @@
+.info-page {
+  font-family: sans-serif;
+  font-size: 1.3em;
+
+  code {
+    font-family: monospace;
+    font-size: 1.3em;
+    color: var(--color-doc-code);
+    background-color: var(--color-doc-code-background);
+    padding: 2px 5px;
+    .rounded-corners(5px);
+  }
+}

searx/static/themes/simple/src/less/style.less

@@ -18,6 +18,7 @@
 @import "detail.less";
 @import "animations.less";
 @import "embedded.less";
+@import "info.less";
 
 // for index.html template
 @import "index.less";