/*
** Stylesheet filter for some b0rked browser
*/

div.actionbuttons a {
    font-size: 75%;
}