/* The rules in this file are moved into common-theme.css. */