Scribble CSS fixes

1) Adjust CSS selector for blue boxes in documentation (as requested by @mflatt).

2) Enlarge the line spacing in code blocks by a tiny amount.