.article_subtopic {
  background: url(../graphics/code_key_small.png) no-repeat;
  padding-left:64px;
  padding-top:12px;
}

.click_div {
  cursor:pointer;
  cursor:hand;
  font-size:200%;
}

.click_image {
  cursor:pointer;
  cursor:hand;
}

.click_button {
  cursor:pointer;
  cursor:hand;
  font-size:120%;
}

.click_button:hover {
  background-color:#e0ffe0;
}

.myspan {
  font-family:monospace;
  color:red;
  cursor:pointer;
  cursor:hand;
}

.databox {
  width:100%;
  height:20em;
  overflow-y:scroll;
  overflow-x:hidden;
  white-space: pre-wrap;
}

.boxcontainer {
  border:1px solid black;
  padding:8px;
  background-color:#f4f4f4;
}

.control_label {
  display:inline-block;
  width:260px;
}

.control_input {
  display:inline-block;
  width:80px;
  text-align:right;
  padding:2px;
}