.bold {
  font-family: Helvetica Black;
}









/* DEBUGGER CSS (remove after dev)*/
/*************************/
.string {
  color: #00FF00;
}
.number {
  color: #FF0000;
}
.object {
  color: #A7C6F1;
}
.boolean {
  color: #33FFCC;
}
.errMsg {
  color: #FFFF00;
}
.symbol {
  font-family: Webdings;
  color: #FFFFFF;
  font-size: 18;
}
/**************************/