/**
 * This file is autogenerated when the main website configuration file is updated.
 * Any manual changes will be lost: to change a feature here, please change user_style.css
 */


div#topbuttons div {
    width:19.8%;
}