option.html: import the missing css file.