Make indicators more round

This commit is contained in:
2025-03-23 19:17:56 -07:00
parent 793689e29c
commit 7d7c89a0c9

View File

@@ -119,9 +119,10 @@ html {
display: inline-block;
white-space: pre-wrap;
width: 1em;
line-height: 1em;
border: thin solid gray;
border-radius: 0.5em;
font-size: 0.3em;
border-radius: 0.7em;
font-size: 0.5em;
vertical-align: middle;
margin-left: 1em;
}