Add styling for facetted search

[timdavison]

Currently sites with facetted search have custom themes to hold the necessary styling (css and theme functions).

Adding this to the theme would avoid having to do this, at the cost of a minimal amount of css and a few theme functions in template.php. (These would never be invoked on a site without faceted search.)