Daniel Martí a76a465cf1 Re-add theming, much better this time

2013-11-03 16:12:22 +01:00

..

preferences.xml

Re-add theming, much better this time

2013-11-03 16:12:22 +01:00

searchable.xml

Basic search implemented, just needs a bit of tidying up (e.g. tell you what you searched for)

2011-01-17 17:58:48 +00:00