.dt-buttons { margin-left: 20px; }
      button.dt-button { margin-left: 1px; padding: 1px; }
      table.dataTable td th { font-size: 0.8em; }
      tbody th td, table.dataTable tbody td { padding: 2px 2px; }
      .CodeMirror { font-size: 12px; }
    

/* Ban goc an o nhap nay di va thay bang CodeMirror. */
#commands {
  display: block !important;
  width: 100%;
  min-height: 180px;
  font-family: Menlo, Consolas, monospace;
  font-size: 13px;
  padding: 8px;
}