-
These are not working anymore since we now need CSS themes. Also we'll prefer to use theme variants anyway. I also remove a remnant of the old "Small" theme, which was not installed anymore anyway, and is not useful anymore.
0edde674
These are not working anymore since we now need CSS themes. Also we'll prefer to use theme variants anyway. I also remove a remnant of the old "Small" theme, which was not installed anymore anyway, and is not useful anymore.