Only format threads and boards (temporary fix); various minor theme tweaks; minimal support for theme switching.