CSS fixes

Fixed some glitches in CSS. Namely, padding on code tags inside pre caused first line of multiline code to be indented. Also, headings were too close to the previous paragraph.