.help_text
{
  font-size: 13px;
}

.help_text P
{
  margin-top: 0px;
  margin-bottom: 15px;
}

.help_highlight
{
  background-color: yellow;
}

.help_text H1
{
  font-size: 16px;
  font-weight: bold;
  margin-top: 0px;
  margin-bottom: 15px;
}

.help_text H2
{
  font-size: 15px;
  font-weight: bold;
  margin-top: 0px;
  margin-bottom: 10px;
}

.help_text H3
{
  font-size: 14px;
  font-weight: bold;
  margin-top: 0px;
  margin-bottom: 8px;
}

.found_link
{
  margin-bottom: 4px;
}

.found_description
{
  margin-bottom: 14px;
}

/* some corrections for the menu tree */

#help_menu_tree .x-grid-body
{
  border-width: 0px;
}

#help_menu_tree .x-grid-item
{
  background-color: transparent;
}

/* we want a larger font for the navigation tree */

#help_menu_tree .x-grid-cell
{
  font-size:12px;
}

/* links of the tree should not be decorated */ 

#help_menu_tree  a,
#help_menu_tree  a:hover,
#help_menu_tree  a:visited,
#help_menu_tree  a:active
{
  text-decoration: none;
  color: black;
}

/* we want another background for the selected item in the navigation tree */ 

#help_menu_tree .x-grid-item-over 
{
  background-color: #eeeeee;
}

#help_menu_tree .x-grid-item-selected
{
  background-color: #ABC7EC;
}