Added padding to header labels

This commit is contained in:
Steven Engler 2024-03-29 19:15:13 -04:00
parent 3dc3adae26
commit 115c5fa213

View File

@ -311,25 +311,25 @@ blockquote {
} }
.header-right { .header-right {
/* want the images to have padding to make them easier to click, but we still want them aligned correctly */
--label-padding: 0.3em;
position: absolute; position: absolute;
top: 0; top: calc(-1 * var(--label-padding));
right: 0; right: calc(-1 * var(--label-padding));
display: flex; display: flex;
} }
.header-right * { .header-right > * {
margin-left: 1em; margin-left: 0.4em;
}
.header-right *:first-child {
margin-left: 0;
} }
.clickable-header-label { .clickable-header-label {
cursor: pointer; cursor: pointer;
padding: var(--label-padding);
} }
.clickable-header-label * { .clickable-header-label img {
height: 1em; height: 1em;
width: auto; /* to override the <img width="__"> attribute when css is supported */ width: auto; /* to override the <img width="__"> attribute when css is supported */
} }
@ -503,6 +503,7 @@ body {
} }
.header-right { .header-right {
top: 0;
height: 100%; height: 100%;
align-items: center; align-items: center;
} }