From cff65a989dc32912a64287015d8538e257b59942 Mon Sep 17 00:00:00 2001
From: Rafostar <40623528+Rafostar@users.noreply.github.com>
Date: Fri, 8 Jan 2021 21:41:51 +0100
Subject: [PATCH] Revert "Remove unnecessary position scale margin"

This reverts commit 1c82b2288a143fe2278ecf884c438a5f01f6d4d5.

The margin turns out to be necessary for uneven scaling on
some displays resolutions.
---
 css/styles.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/css/styles.css b/css/styles.css
index 37b95d2a..5f2956a7 100644
--- a/css/styles.css
+++ b/css/styles.css
@@ -81,6 +81,9 @@ radio {
   border-color: transparent;
   box-shadow: none;
 }
+.osd .positionscale {
+  margin-top: 1px;
+}
 .osd .positionscale trough highlight {
   border-radius: 3px;
   min-height: 20px;