From 35af912f77ac1fbeef2fde6b0ace62f828d46b40 Mon Sep 17 00:00:00 2001
From: Frans de Jonge <fransdejonge@gmail.com>
Date: Thu, 28 Sep 2017 16:25:00 +0200
Subject: [PATCH] [UX] Smaller borders (#3266)

For years they've been smaller on higher DPI devices and likely very few people realized it was technically a bug. These values round up on lower DPI and smaller screen devices.

References https://github.com/koreader/koreader/issues/3265
---
 frontend/ui/size.lua | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/frontend/ui/size.lua b/frontend/ui/size.lua
index 2ddd164b6..cebf246fa 100644
--- a/frontend/ui/size.lua
+++ b/frontend/ui/size.lua
@@ -30,10 +30,10 @@ local Screen = require("device").screen
 
 local Size = {
     border = {
-        default = Screen:scaleBySize(2),
-        thin = Screen:scaleBySize(1),
-        button = Screen:scaleBySize(2),
-        window = Screen:scaleBySize(2),
+        default = Screen:scaleBySize(1),
+        thin = Screen:scaleBySize(0.5),
+        button = Screen:scaleBySize(1.5),
+        window = Screen:scaleBySize(1.5),
     },
     margin = {
         default = Screen:scaleBySize(5),