body #howto  {font-size: 10.5pt;}
body #howto {height: 200px;}