win32 theme: Query theme borders when rendering buttons

If someone figures out where the remaining pixel comes from: Tell me!
This commit is contained in:
Benjamin Otte
2016-02-15 06:50:49 +01:00
committed by Benjamin Otte
parent 67b893c5f8
commit 01bcda8a8c

View File

@ -286,33 +286,44 @@ radio:indeterminate:disabled {
/* Buttons */
button {
background-color: transparent;
background-image: -gtk-win32-theme-part(button, 1, 1);
border-width: 0;
padding: 3px;
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 1));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 1));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 1));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 1));
}
button.default {
background-image: -gtk-win32-theme-part(button, 1, 5);
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 5));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 5));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 5));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 5));
}
button:hover {
background-image: -gtk-win32-theme-part(button, 1, 2);
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 2));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 2));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 2));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 2));
}
button:active, button:checked {
background-image: -gtk-win32-theme-part(button, 1, 3);
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 3));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 3));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 3));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 3));
}
/* XXX: Figure out how to handle disabled active togglebuttons */
button:disabled {
background-image: -gtk-win32-theme-part(button, 1, 4);
}
button:focus {
background-image: -gtk-win32-theme-part(button, 1, 5);
}
button:hover, button:hover:focus {
background-image: -gtk-win32-theme-part(button, 1, 2);
color: @text_color;
}
button:active, button:active:focus, button:active:focus:hover {
background-image: -gtk-win32-theme-part(button, 1, 3);
color: @text_color;
}
/* Override *:selected { ...} style; affects horizontalbuttons */
button:selected {
background-color: transparent;
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 4));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 4));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 4));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 4));
}
/* Scrollbars */