body {
    font-size: 80%;
}

/* Portal nav */
#portal_nav .navtitles {
    font-size: 165%;
    padding: 14px 37px 10px;
}

#portal_nav .portalmedium #navtitle1 {
    width: 105px;
}

#portal_nav .portalmedium  #navtitle3 {
    width: 215px;
}

#portal_nav .portalmedium #navtitle4 {
    width: 118px;
}

/* Search */
#quickmenu {
    font-size: 90%;
}

#search {
    top: 90px;
}

#search #search_trefwoord {   
    font-size: 100%;
}

#search .searchbox_submit {
    font-size: 100%;
}

/* sub nav */
#sub_nav li a {
    font-size: 87%;
}