Built site for AMR: 1.8.2.9111@aa48c6b

2025-07-27 17:07:54 +02:00 · 2023-02-08 16:01:47 +00:00
parent c43e91eaee
commit 769ace0b66
112 changed files with 1836 additions and 1173 deletions
--- a/extra.css
+++ b/extra.css
@ -49,6 +49,11 @@
  content: 'Maintainers';
 }

+/* marked words for after using the search box */
+mark, .mark {
+  background: rgba(17, 143, 118, 0.25) !important;
+}
+

 /* SYNTAX */
 /* These are simple changes for the syntax highlighting */