Improve the banner background

The previous one was a bit too flashy
Merge pull request #247 from propelorm/banner

Improve the banner background
Fix CSS for tip boxes
Fix runtime-conf.xml example, in buildtime documentation
Merge remote-tracking branch 'upstream/master'