From 1ed5b06b6ec8b940c38460c5a35a3f916eacebd9 Mon Sep 17 00:00:00 2001 From: Gerben Date: Tue, 5 Nov 2019 01:04:37 +0100 Subject: [PATCH] Correct for our cursors' extra width Unfortunately not as easy for the borders of the fragment selection; for now just making those stay 'inside' the selection (through box-sizing). --- app/assets/main.css | 3 +++ 1 file changed, 3 insertions(+) diff --git a/app/assets/main.css b/app/assets/main.css index ec5d3c8..9b696a4 100644 --- a/app/assets/main.css +++ b/app/assets/main.css @@ -118,6 +118,7 @@ input#volume:focus { .playlist .selection.point { width: 2px !important; + transform: translateX(-0.5px); /* Correct for the extra 1px of width we add. */ } .playlist .selection.point::after { @@ -137,6 +138,7 @@ input#volume:focus { background: #f006; border-left: 2px solid red; border-right: 2px solid red; + box-sizing: border-box; } .playlist .selection.segment:before { @@ -173,6 +175,7 @@ input#volume:focus { .playlist .cursor { width: 2px !important; + transform: translateX(-0.5px); /* Correct for the extra 1px of width we add. */ background: #666; }