Small CSS fix. Small doc fix.