commit 90a85134ce69eb5470a8248ebe7bdadc588e5d1e parent 7870b366e47a740633b497bfd766aad6cb10ae64 Author: Demonstrandum <moi@knutsen.co> Date: Thu, 6 Aug 2020 02:26:28 +0100 Update style. Diffstat:
M | style.css | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/style.css b/style.css @@ -42,6 +42,8 @@ a.line { } .linenos { + margin-right: 0; + border-right: 1px solid rgb(0 0 0 / 8%); user-select: none; }