Make emojis in docs larger

2023-04-06 21:51:25 -04:00
parent 35ad4a0c03
commit ea538338cf
3 changed files with 1832 additions and 1822 deletions
--- a/docs/static/css/extra.css
+++ b/docs/static/css/extra.css
@@ -71,7 +71,17 @@ figure video {
 }

 .remove-md-box td {
-    padding: 0 10px
+    padding: 0 10px;
+}
+
+.emoji-table td {
+    vertical-align: middle !important;
+}
+
+.emoji-table .e {
+    font-size: 2.5em;
+    padding: 0 2px !important;
+    text-align: center !important;
 }

 /* Lightbox; thanks to https://yossiabramov.com/blog/vanilla-js-lightbox */