From 6dc316c450c45cde32a163e5a3ab37cb1c7a262f Mon Sep 17 00:00:00 2001
From: Jethro Kuan <jethrokuan95@gmail.com>
Date: Sat, 14 Nov 2020 14:17:08 +0800
Subject: [PATCH] (doc): fix menu-comment styling (#1273)

---
 doc/assets/page.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/assets/page.css b/doc/assets/page.css
index e272eb2..1e16c21 100644
--- a/doc/assets/page.css
+++ b/doc/assets/page.css
@@ -40,6 +40,15 @@ table {
   width: 100%;
 }
 
+pre.menu-comment {
+  background: none;
+  border: none;
+  font-family: sans-serif;
+  padding: 0;
+  margin: 0;
+  font-size: 100%;
+}
+
 thead {
   border-bottom: 1px solid var(--border);
 }