nmbug-status: Style headers with smaller fonts

[notmuch] / devel / nmbug / nmbug-status
diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status

index b4ded4991a29b89cbb3a89614771b4334524c40b..cb8b984a62babff643d1e27d7a5097da344a04a0 100755 (executable)
--- a/devel/nmbug/nmbug-status
+++ b/devel/nmbug/nmbug-status
@@ -327,6 +327,15 @@ header_template = config['meta'].get('header', '''<!DOCTYPE html>
    <meta http-equiv="Content-Type" content="text/html; charset={encoding}" />
    <title>{title}</title>
    <style media="screen" type="text/css">
+    h1 {{
+      font-size: 1.5em;
+    }}
+    h2 {{
+      font-size: 1.17em;
+    }}
+    h3 {{
+      font-size: 100%;
+    }}
      table {{
        border-spacing: 0;
      }}