From 2df57f3bf6a89d359689871136d1e880235ab0f2 Mon Sep 17 00:00:00 2001
From: wareya <wareya@gmail.com>
Date: Sun, 9 Feb 2020 04:13:13 -0500
Subject: [PATCH] add reader line height option

---
 options.js | 6 ++++++
 reader.js  | 2 ++
 2 files changed, 8 insertions(+)

diff --git a/options.js b/options.js
index 1eb831a..49e2135 100644
--- a/options.js
+++ b/options.js
@@ -558,6 +558,12 @@ function defaults()
         default: "",
         label: "Reader font override (without trailing comma)"
     });
+    settings.push({
+        id: "reader_line_height",
+        kind: "text",
+        default: "normal",
+        label: "Reader line height size (default: 'normal' example: '140%')"
+    });
     settings.push({
         id: "reader_throttle",
         kind: "number",
diff --git a/reader.js b/reader.js
index b50db10..d8be034 100644
--- a/reader.js
+++ b/reader.js
@@ -15,6 +15,7 @@ reader_right_padding: "0px",
 reader_max_width: "1000px",
 reader_margin: "8px",
 reader_font: "",
+reader_line_height: "normal",
 reader_auto: false,
 reader_throttle: 200,
 reader_convert_newlines: false
@@ -31,6 +32,7 @@ function update_styles()
     target.marginLeft = reader_settings.reader_margin;
     target.marginRight = reader_settings.reader_margin;
     target.fontFamily = reader_settings.reader_font;
+    target.lineHeight = reader_settings.reader_line_height;
     let target2 = document.querySelector("#new_style");
     let elements = document.body.getElementsByTagName("p");
     let which = String(reader_settings.reader_reverse ? elements.length : 1);