.css

2026-06-05 23:00:17 +00:00 · 2018-10-11 22:22:41 -04:00
parent 6e7d97e5c0
commit 0fc765a1fd
1 changed files with 3 additions and 1 deletions
@@ -27,10 +27,12 @@
    font-weight: 400 !important;
  }

-  .si {
+  .si,
+  .s1 {
    font-style: italic !important;
  }

+
  /* "Quick Search" should be not be shown for now. */
  div#searchbox h3 {
    display: none;