1 files changed, 4 insertions, 0 deletions
diff --git a/doc/all.css b/doc/all.css
index f70ef1599..b1d55cf25 100644
--- a/doc/all.css
+++ b/doc/all.css
@@ -157,6 +157,10 @@ h1#title {
 pre.ebnf, pre.grammar {
   background: #FFFFE0;
 }
+span.ln {
+  font-size: 80%;
+  color: #777777;
+}
 span.comment {
   color: #002090;
 }