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