BODY             {background:#FFFFFF; color:#000000; margin:0;}
A                {text-decoration:none;}
IMG              {border-style:none;}
VAR              {font-style:italic;}

.TopTitle        {background:#CC6633; color:#FFFFFF; font-weight:bold; font-size:large; padding:8px;}
.TopMenu         {background:#FFDD99; padding:2px;}
.LeftMenu        {background:#CC6633;}
.MenuBox         {background:#FFFFFF; padding:4px;}
.MenuTitle       {background:#FFDD99; color:#000000; text-align:center; padding:2px; }
.Bottom          {background:#FFDD99; text-align:center; font-size:small; padding:4px;}
.MainTitle       {background:#FFFFFF; color:#000000; font-weight:bold; font-size:large;}
.Subtitle        {background:#000000; color:#FFFFFF;}
.Section         {background:#FFDD99; color:#FFFFFF; font-weight:bold; font-size:large; padding:4px;}
.Declaration     {background:#FFFF00; font-size:larger;}
.Warning         {border-style:solid; border-width:1px; padding:4px}
.Program         {padding:4px; border-style:solid; border-width:1px; border-color:#CCCCCC;}
.Syntax          {padding:4px;}
.Output          {background:#F0F0F0; padding:4px;}
.Module          {color:#990000; font-weight:bold;}
.Klass           {color:#993333; font-weight:bold;}
.Function        {color:#990000; font-weight:bold;}
.InlineCode      {color:#006600;}
.FootNote        {font-size:small;}

.Box             {background:#FFDD99; padding:4px;}
.BoxTitle        {background:#CC6633; color:#FFFFFF; text-align:center; font-weight:bold; padding:2px;}

.PrettyComment   {color:#999999;}
.PrettyOperator  {color:#668066;}
.PrettyKeyword   {color:#000000; font-weight:bold}
.PrettyClass     {color:#800000;}
.PrettyBuiltin   {color:#800000;}
.PrettyCritical  {color:#C00000;}
.PrettySpecial   {color:#006600;}
.PrettyDecorator {color:#990000;}
.PrettyNumber    {color:#0000CC;}
.PrettyQstring   {color:#CC0000;}
.PrettyDstring   {color:#993300;}
.PrettyTstring   {color:#FF0000;}
.PrettyQtext     {color:#CC0000;}
.PrettyDtext     {color:#993300;}
.PrettyTtext     {color:#006666;}