@CHARSET "UTF-8";

.ui-panel {
  margin-bottom: 10px;
}

.alarm {
  color: #b94a48;
  background-color: #f2dede;
  border-color: #eed3d7;
  padding: 5px;
}