/* Extra css used in .shtml-files */