/* non_covered: original table/heading rules remain in default/mobile.css. */