I removed a local.css file and pushed the changes to git but the 'compiled' wiki still shows the same css.
Is this a bug or you are supposed to remove the css by hand?