Fixes #12748

2026-06-08 17:22:31 +03:00 · 2014-03-07 00:10:46 -08:00
parent d44e98b34d
commit d1d5d90413
14 changed files with 97 additions and 13 deletions
@@ -1403,6 +1403,12 @@ cite {
  font-style: normal;
 }

+mark,
+.mark {
+  padding: .2em;
+  background-color: #fcf8e3;
+}
+
 .text-left {
  text-align: right;
 }
@@ -1109,6 +1109,11 @@ small,
 cite {
  font-style: normal;
 }
+mark,
+.mark {
+  padding: .2em;
+  background-color: #fcf8e3;
+}
 .text-left {
  text-align: left;
 }