.terminal
{font-weight:900;}
.nonterminal
{font-style:italic;}
.left
{width:100px;float:left;}
.right
{}
.plus 
{font-size:large;}
/*.usermnu
{display:none;}
.groupsmnu
{display:none;}*/