responsive

I've just installed a modification which makes our theme "Responsive", so it will display correctly in mobile browsers. It's up and running, and there does appear to be a few small bugs which I'm about to report, but they don't affect how you can use the site from your preferred mobile device.