(bug 34289) user.options CSS loaded twice. Fixed by splitting off the CSS part of...