[polly] r197722 - www: Use a modern menu style

[Tobias Grosser]

On 12/20/2013 06:33 PM, Sean Silva wrote:
>   [id=menu] {
> -       width:25ex;
> +       width:30ex;
>           float: left;
>   }
>   [id=content] {
>
> what is the point of doing `[id=foo]`? Just do `#foo`

Fixed in r197847.

Thanks for the review.
Tobias