/* html redefinitions */
body {font-size:12px;}