/* default theme stylesheet */