#header {
  background: #dfdfff;
}

span.keyword {
  color: blue;
}

span.word {
  color: black;
}

span.string {
  color: #008080;
}

span.character {
  color: red;
}

span.number {
  color: #800000;
}

span.punctuation {
  color: #808000;
}

span.comment {
  color: #008000;
}

span.linenumber {
  color: #808080;
}

span.cicsapi {
  color: blue;
  font-weight:bold;
}

pre a {
  color: #222222;
  text-decoration: none;
  font-size: inherit;
} 

pre a:hover {
  text-decoration: none;
}