/*
Deze stylesheet haalde de stijlen van de tabcontrol door de war en wordt volgens ons (nog) niet gebruikt.
De inhoud staat in jquery-ui-1.7.2.custom-notused.css
*/