Refine the styling/formatting

The thick red menubar has received a certain amount of negative feedback at HN and reddit, e.g.

https://news.ycombinator.com/item?id=18195043

Would someone like to experiment with tweaking the layout_2018.css for perhaps a more welcoming color scheme and thinner menu bar (and maybe bump the font sizes a bit -- see

https://news.ycombinator.com/item?id=18193073

)