From 6284fe740be5370688c8aedc36e0b391548bf363 Mon Sep 17 00:00:00 2001 From: BorysLevytskyi Date: Fri, 12 May 2023 15:05:12 +0200 Subject: [PATCH] Polish UI --- src/index.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/index.css b/src/index.css index ae6a50f..d0c1cb5 100644 --- a/src/index.css +++ b/src/index.css @@ -51,7 +51,7 @@ a.hashLink { font-size: 1.1em;} .expression { font-size: 1.5em; font-family: monospace } .expression .prefix { font-weight: normal; display: none; font-size: 0.9em } .expression .other { font-size: 0.9em} -.expression .sign { text-align: right} +.expression .sign { text-align: right; padding-right: 5px;} .flipable { cursor: pointer; opacity: 1 } .flipable { cursor: pointer; opacity: 1 }