@jancborchardt how can we systematically clean up the css? any ideas? you ok with this PR?