body {
    font-size: 95%;
}

#portal-searchbox {
    margin: -3em 0 0 0;
}