Merge pull request #117 from dwhinham/fix-42

Fix GroupBox border for Firefox
This commit is contained in:
Juan Garay 2021-08-10 14:53:22 -03:00 committed by GitHub
commit 24a04eeac1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 3 deletions

4
icon/groupbox-border.svg Normal file
View file

@ -0,0 +1,4 @@
<svg width="5" height="5" viewBox="0 0 5 5" fill="grey" xmlns="http://www.w3.org/2000/svg">
<path fill-rule="evenodd" clip-rule="evenodd" d="M0 0H5V5H0V2H2V3H3V2H0" fill="white" />
<path fill-rule="evenodd" clip-rule="evenodd" d="M0 0H4V4H0V1H1V3H3V1H0" fill="#808080" />
</svg>

After

Width:  |  Height:  |  Size: 279 B

View file

@ -278,9 +278,7 @@ button:disabled,
} }
fieldset { fieldset {
border: none; border-image: svg-load("./icon/groupbox-border.svg") 2;
box-shadow: inset -1px -1px var(--button-highlight), inset -2px 1px var(--button-shadow),
inset 1px -2px var(--button-shadow), inset 2px 2px var(--button-highlight);
padding: calc(2 * var(--border-width) + var(--element-spacing)); padding: calc(2 * var(--border-width) + var(--element-spacing));
padding-block-start: var(--element-spacing); padding-block-start: var(--element-spacing);
margin: 0; margin: 0;