Trivial css/html formatting.