body {
  /*background-image: url("/assets/wilogo-gray-b119b110.svg");*/
  background-repeat: repeat;
  background-size: 30px;
  overflow-x: auto !important; }

footer {
  margin-top: 20px;
  color: #ccc;
  font-size: 0.8em;
  text-align: center; }
  footer a,
  footer a:hover,
  footer a:focus,
  footer a:visited {
    color: #ccc; }

dt {
  font-weight: bold; }

.clear {
  clear: both; }

.item.header a {
  color: #333; }

.positive {
  color: #21ba45; }

.negative {
  color: #db2828; }

.text-right {
  text-align: right; }

.to_destroy {
  text-decoration: line-through; }
  .to_destroy * {
    text-decoration: line-through; }

.muted, .text-muted {
  color: #767676 !important; }

.lighter {
  font-weight: lighter; }

hr.muted {
  border: 0;
  border-bottom: 1px dotted #d4d4d5; }

.hidden {
  display: none; }

.invisible {
  visibility: hidden; }

.nowrap {
  white-space: nowrap; }

.pull-right {
  float: right; }

table.vtop th, table.vtop td {
  vertical-align: top; }

.text-right {
  text-align: right; }

.to_destroy {
  text-decoration: line-through; }
  .to_destroy * {
    text-decoration: line-through; }

.lighter {
  font-weight: lighter; }

div.ui.compact.grid .column {
  padding-left: 0.5rem !important;
  padding-right: 0.5rem !important; }
div.ui.compact.grid > .row {
  padding-top: 0.5rem !important;
  padding-bottom: 0.5rem !important; }

.ui.default.dropdown:not(.button) > .text, .ui.dropdown:not(.button) > .default.text {
  color: black !important; }

/*
.ui.checkbox label::before {
  border: 1px solid #949495 !important;
}

.ui.form input:not([type]), .ui.form input[type="color"], .ui.form input[type="date"], .ui.form input[type="datetime-local"], .ui.form input[type="email"], .ui.form input[type="file"], .ui.form input[type="month"], .ui.form input[type="number"], .ui.form input[type="password"], .ui.form input[type="search"], .ui.form input[type="tel"], .ui.form input[type="text"], .ui.form input[type="time"], .ui.form input[type="url"], .ui.form input[type="week"] {
  border: 1px solid rgba(34,36,38,.30) !important;
}

.ui.segment {
  border: 1px solid rgba(34,36,38,.30) !important;
}
*/