remove default border of splitters and workarounds for that
[themes.git] / EarlyBlue / global / splitter / grip-bottom.gif
EarlyBlue/global/splitter/grip-bottom.gif