.CodeName {
 margin-left:25px;
 padding-left:5px;
 margin-bottom:-10px;
 display: block;
 font-weight: bold;
 font-variant:small-caps;
 font-size:22px;
 color: #555;
 font-family:sans-serif;
}

pre.sh_sourceCode {
  margin-left: 25px;
  margin-right: 25px;
  padding: 15px;
  color: #000;
  font-weight: normal;
  font-style: normal;
  background-color: #f5ff9f;
  border: 2px solid #555;
  -moz-border-radius: 15px;
  border-radius: 15px;
  -moz-box-shadow: 3px 3px 4px #555;
  -webkit-box-shadow: 3px 3px 4px #555;
  box-shadow: 3px 3px 4px #555;
}

pre.cmd {
  margin-left: 25px;
  margin-right: 25px;
  padding: 15px;
  color: #0F0;
  font-weight: normal;
  font-style: normal;
  background-color: #000;
  border: 2px solid #555;
  -moz-border-radius: 15px;
  border-radius: 15px;
  -moz-box-shadow: 3px 3px 4px #555;
  -webkit-box-shadow: 3px 3px 4px #555;
  box-shadow: 3px 3px 4px #555;
}





pre.sh_sourceCode .sh_keyword {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_type {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

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

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

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

pre.sh_sourceCode .sh_comment {
  color: #717ab3;
  font-weight: normal;
  font-style: normal;
}

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

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

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

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

pre.sh_sourceCode .sh_date {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_time {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_file {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

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

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

pre.sh_sourceCode .sh_variable {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

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

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

pre.sh_sourceCode .sh_difflines {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_selector {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_property {
  color: #7f0055;
  font-weight: bold;
  font-style: normal;
}

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