make dimension label smaller

This commit is contained in:
Rhiannon Morris 2020-09-26 14:22:20 +02:00
parent 4592c8ac5a
commit debefa0d3d

View file

@ -27,11 +27,14 @@ body {
position: absolute; position: absolute;
top: calc(0px - var(--border-thickness)); top: calc(0px - var(--border-thickness));
right: calc(0px - var(--border-thickness)); right: calc(0px - var(--border-thickness));
padding: 0.15em 0.75em; padding: 0.15em 1.25em 0.15em 0.75em;
font-size: 60%;
font-weight: 700;
background: hsl(0, 0%, 0%, 50%); background: hsl(0, 0%, 0%, 50%);
border: var(--border-thickness) solid var(--text-col); border: var(--border-thickness) solid var(--text-col);
border-bottom-left-radius: 1em; border-bottom-left-radius: 0.5em;
} }
#mainfig:focus-within { #mainfig:focus-within {