don't hide navbar overflow

Setting a fixed height on the controls bar results in breadcrumbs being
truncated. Extend the maximum width of the navbar, and clearfix it so
the background continues.
shrink textarea font slightly

Textareas are a little too wide on some browser/font combinations.
Shrink the font slightly so that 80 columns fit the content width.