css: add padding to anchors so that they are jumped to correctly

Signed-off-by: Daniel Halperin <dhalperi@cs.washington.edu>