css tweak for fold markers in editor