/* Generated by KaZcadeS */
.console {
  border-style: solid;
  padding: 15px 10px 10px 15px;
  background-color: #e0ffe0;
  font-family: Courier New,Courier,monospace;
}
.list {
  border-style: solid;
  padding: 15px 5px;
  background-color: #f0f0e0;
  font-family: Courier New,Courier,monospace;
}
.menu {
  font-weight: bold;
  display: inline;
}
.hotkey {
  font-weight: bold;
  font-family: Arial,Helvetica,sans-serif;
  display: inline;
}
