From 39aa92f5f305200f53b21b4db0691d1fc8f6c636 Mon Sep 17 00:00:00 2001
From: girst <girst@users.noreply.github.com>
Date: Thu, 2 Jan 2020 02:33:43 +0100
Subject: [PATCH] Make options section headings bold

---
 extension/skin/options.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extension/skin/options.css b/extension/skin/options.css
index b4e2e1f..d042851 100644
--- a/extension/skin/options.css
+++ b/extension/skin/options.css
@@ -16,6 +16,7 @@
 .setting.first-row {
   border-top: none;
   margin-top: 2em;
+  font-weight: bold;
 }
 .setting .title,
 .setting .desc,
-- 
2.39.3