ini based border-color for pagefooter

This commit is contained in:
Jana Deutschländer 2017-02-23 16:51:46 +01:00
commit 54badb2605

View file

@ -20,12 +20,12 @@
}
}
.wikipagefooter {
> hr {
margin-top: 3em;
margin-bottom: 0.5em;
border-top: dashed grey 3px;
border-top: dashed @color-border-light 2px;
border-bottom: none;
}
}