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

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