.codeButton 
{
  color: black;
}

.editButton 
{
  color: green;
}

.localButton 
{
  color: red;  
}

a.menuH1 
{ 
  color: rgb(128,136,192);
  display: block; 
  font-size: 14pt; 
  font-weight: bold; 
  margin: 4px; 
} 

a.menuH2 
{ 
  color: rgb(128,136,192);
  display: block; 
  font-size: 12pt; 
  font-weight: bold; 
  margin: 4px; 
  margin-left: 12px; 
} 

a.menuH3
{ 
  color: rgb(128,136,192);
  display: block; 
  font-size: 10pt; 
  font-weight: bold; 
  margin: 4px; 
  margin-left: 24px; 
} 

a.selection
{ 
  color: rgb(16,122,122);
  font-size: 12pt;
  font-weight: bold; 
  text-decoration: none; 
} 

b.title
{
  color: gray;  
  font-size: 22pt; 
  font-weight: bold; 
  margin: 12px; 
}

body
{ 
  color: black; 
  font-family: Arial;
  font-size: 12pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
}

div.example
{
  background-color: white;
  border: 1px solid silver; 
}

embed.example 
{ 
  border: 1px solid silver; 
  padding: 12px;
}

h1
{
  text-align: center;
}

img.codeButton
{
  background-color: #ffffff;
}

img.codeButton:hover
{
  background-color: rgb(128,136,192);
}

img.editButton
{
  background-color: #ffffff;
}

img.editButton:hover
{
  background-color: rgb(128,136,192);
}

img.example 
{ 
  border: 1px solid silver; 
  padding: 12px;
}

p.example
{
  background-color: white;
  font-style: italic;
  text-align: center;
}

td.example
{
  background-color: white;
  font-style: italic;
  text-align: center;
}

td.activeSection
{
  background-color: white;
  border-left: 2px solid rgb(204,224,224);
  border-right: 2px solid rgb(16,100,100);
  border-top: 2px solid rgb(204,224,224);
  padding: 3px;
}

td.section
{
  background-color: none;
  border-left: 2px solid rgb(204,224,224);
  border-right: 2px solid rgb(16,100,100);
  border-top: 2px solid rgb(204,224,224);
  padding: 3px;
}

.extension
{ 
background-color: rgb(253,193,134);
/*
  background-color: rgb(253,193,134);
  border-left: 3px solid orange;
  padding-left: 6px;
  margin-left: 2px;
*/
}


/* Beging of tree style */

.line
{
  display: block;
}

.branch
{
  display: none;
  margin-left: 1em; 
}

.trigger
{
  padding: 2px;
  cursor: pointer;
}

.unselected
{
  cursor: pointer;
  text-indent: -1em;
  font-family: arial,helvetica;
  font-size: 10pt;
  font-weight: bold;
  padding-left: 2px;
  padding-right: 2px;
  cursor: hand;
  background-color: white;
  background-image: none;
  color: black;
}

.selected
{
  cursor: none;
  text-indent: -1em;
  font-family: arial,helvetica;
  font-size: 10pt;
  font-weight: bold;
  padding-left: 2px;
  padding-right: 2px;
  background-color: rgb(51,102,0);
  background-image: url(ggreenfill.png);
  color: white;
}

/* End of tree style */