Improve style of code highlighting through decreasing font size.