/* These styles are generated from project.scss. */

.alert-debug {
  color: black;
  background-color: white;
  border-color: #d6e9c6;
}

.alert-error {
  color: #b94a48;
  background-color: #f2dede;
  border-color: #eed3d7;
}


body {
  margin-top: 0px;
  margin: 0;
  font-family: 'Roboto Mono', monospace;
  font-size: 10pt;
}

.pre{
  padding: 0px;
  margin: 0;
  font-family: 'Roboto Mono', monospace;
  font-size: 10pt;
}


/*.align-center {*/
/*  display: flex;*/
/*  align-items: center;*/
}