.showhidecode {
  display:block;
  background-color:rgb(210,210,210);
  margin-bottom:-5px;
  margin-top:5px;
  border:1px solid black;
  border-bottom:0;
  padding:1px;
  text-align:center;
}

.code .entity {
  color:blue;
}
.code .string {
  color:red;
}
.code .comment {
  color:gray;
  font-style:italic;
}
.code .number {
  color:purple;
}
.code .function {
  color:#006600;
}
.code .constant {
  color:#ff9900;
}