td.menu             {background-color: #272727; padding: 4px; font-size: 8pt;}
a.menu              {text-decoration: none; color: lightgrey;}
a.menu:hover        {text-decoration: none; color: #33FF33;}
a.path              {text-decoration: none; color: lightgrey;}
a.path:hover        {text-decoration: none; color: #33FF33;}