Slight CSS change, small change to doc.js.