Removed "#PrefCacheSeparator" ID

This commit is contained in:
TooWaBoo 2018-11-08 06:08:51 +01:00 committed by GitHub
parent 3b48df2c2c
commit bb5d8710e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -473,7 +473,7 @@ separator,
background-color: transparent; background-color: transparent;
} }
grid separator.horizontal, box separator.horizontal { grid separator.horizontal, box separator.horizontal {
margin: 0.166666666666666666em 0; margin: 0.166666666666666666em;
padding: 0; padding: 0;
} }
grid separator.vertical, box separator.vertical { grid separator.vertical, box separator.vertical {
@ -549,10 +549,7 @@ menu separator {
background-color: shade(@bg-light-grey,.75); background-color: shade(@bg-light-grey,.75);
margin: 0.166666666666666666em; margin: 0.166666666666666666em;
} }
separator#PrefCacheSeparator.horizontal {
margin: 0.25em 0.166666666666666666em;
padding: 0;
}
#MyExpander separator { #MyExpander separator {
background-color: @view-grid-border; background-color: @view-grid-border;
margin: 0.333333333333333333em 0.166666666666666666em; margin: 0.333333333333333333em 0.166666666666666666em;