[css] increase default line height; put a bottom margin for <pre>