theme/css: Some more style tweaks for code inclusion