#functionsDiv
{
   border : 1px solid black; background: white;
   top : 0px; right : 0px; width: 250px;
   position : fixed;
   height: 500px;
   overflow: scroll;
   font-family : Courier; font-size : 10pt;

}

.title 
{
   font-size : 14pt; font-family:  Arial; text-decoration : underline;  padding : 5px;
}

pre.sh_sourceCode {
  background-color: #ffffff;
  color: #000000;
  font-weight: normal;
  font-style: normal;
}


pre.sh_sourceCode .sh_keyword {
  color: #B26818;
  font-weight: normal;
  font-style: normal;
}

.functionLocation {
 display : block;
 font-weight : bold;
}

pre.sh_sourceCode .sh_type {
  color: #00ff00;
  font-weight: normal;
  font-style: normal;
}
pre.sh_sourceCode .sh_osxtype {
  color: silver;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_string {
  color: #ff0000;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_regexp {
  color: #ff0000;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_specialchar {
  color: #ff22ff;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_comment {
  color: #0000ff;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_number {
  color: #ff0000;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_preproc {
  color: #ff22ff;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_function {
  color: black;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_function_decl {
  color: black;
  font-weight: bold;
  font-style: normal;
  text-decoration : underline;
}

pre.sh_sourceCode .sh_url {
  color: #ff0000;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_date {
  color: #B26818;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_time {
  color: #B26818;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_file {
  color: #B26818;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_ip {
  color: #ff0000;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_name {
  color: #ff0000;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_variable {
  color: #B26818;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_oldfile {
  color: #ff22ff;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_newfile {
  color: #ff0000;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_difflines {
  color: #B26818;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_selector {
  color: #B26818;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_property {
  color: #B26818;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_value {
  color: #ff0000;
  font-weight: normal;
  font-style: normal;
}