From b3eca43381aed9351314c521f98bfc407c90feb2 Mon Sep 17 00:00:00 2001
From: markus <markus@grossbaerenweiler.de>
Date: Fri, 22 Jul 2022 18:46:44 +0200
Subject: [PATCH] Fixes issue #3 where the shaarli server address is not
 visible in options dialog (at least in Brave Browser).

---
 options.html | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/options.html b/options.html
index bf53e3d..fad414b 100644
--- a/options.html
+++ b/options.html
@@ -1,11 +1,9 @@
 <!DOCTYPE html>
-<html>
-
+<html style="height: 150px">
 <head>
     <title>Add to Shaarli Options</title>
 </head>
-
-<body>
+<body style="height: 150px">
     <label for="shaarliInstance">Your Shaarli instance:</label>
     <br>
     <input type="text" name="shaarliInstance" id="shaarliInstance">
