rename css files; some slight tweaks for rtl pages, see #16