body {
  /**
     * Override button style for Bootstrap. There might be another way to do
     * this, but I wasn't able to find it after some digging/experimentation.
     */ }
  body #dvLoadingPane h1 {
    text-align: center; }
  body #dvTable {
    border-width: 1px;
    border-style: solid;
    border-color: #595454;
    border-radius: 5px;
    width: 100%;
    margin-top: 15px; }
  body #dvTable table {
    width: 100%; }
  body #dvTable th {
    padding-top: 10px;
    padding-bottom: 10px;
    padding-left: 15px; }
  body #dvTable td.lastColumn {
    padding-right: 15px; }
  body #dvTable th.noDevices {
    padding: 15px; }
  body #dvTable td {
    padding-left: 15px;
    padding-bottom: 5px;
    padding-top: 5px; }
  body #dvTable td.lastColumn {
    padding-right: 15px; }
  body .buttonContainer {
    text-align: right;
    margin-top: 5px; }
  body .alertBox {
    display: none; }
    body .alertBox.visible {
      display: block; }
  body table.search_table {
    border: none;
    margin-top: 15px; }
  body .search_table td, body th {
    padding-right: 5px;
    padding-bottom: 5px; }
  body .search_table input {
    border-radius: 5px;
    border-style: solid;
    border-width: 2px;
    border-color: #595454; }
  body .pageHeading {
    padding-left: 25px; }
  body .tableModify {
    margin-bottom: 0px;
    background-color: #ffffff;
    color: #595454; }
  body .header {
    width: 75%;
    border-bottom-style: solid;
    border-bottom-width: 2px;
    border-bottom-color: #af0309; }
  body .refreshButton, body .btn:focus, body .btn.focus {
    margin-right: 15px;
    background-color: #595454;
    color: #ffffff;
    -webkit-transition-duration: 0.2s;
    /* Safari */
    transition-duration: 0.2s; }
  body .btn:hover {
    margin-right: 15px;
    background-color: #ffffff;
    color: #595454;
    border-style: solid;
    border-width: 1px;
    border-color: #595454; }