/*
All these styles are in jumptech_base.css.
*/