body {
    font-size: 90%;
    line-height: 130%;
}

#search form {
    width: 192px;
}

input.searchbox_trefwoord {
    width: 140px;
}

#navigation_container ul li div ul.mainmenu li a,
#navigation ul.mainmenu > li a {
    overflow: hidden;
}

#navigation_container ul li a {
    line-height: 100%;
}

#navigation_container #portal ul li a {
    line-height: 190%;
}

#navigation_container ul li.first a,
#navigation_container ul li a:hover,
#page_options span.button_back,
#page_options span.button_print {
    background-repeat: repeat-y;
}

#page_options ul.page_options_list li.button_fontsize a {
    margin-left: 0;
}