doc: CSS nitpicks

r? @alexcrichton