@import url('master.css');
body{font-size:80%;}
#menu, #menu-opciones { font-size:85%; }