body {
    background-color: #fff;
    overflow-y: scroll;
    font-family: 'Roboto', sans-serif;
    font-size: 13px;
}
.emphasis {
    font-weight: bold;
}
#rootSpinner {
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background-color: #ffffff;
    display: flex;
    align-items: center;
    justify-content: center;
}
#rootSpinner svg {
    width: 64px;
    height: 64px;
}

#browserNotSupported {
    margin: 20px;
    font-size: 16px;
    width: 100%;
    height: 100%;
}
#browserNotSupportedFrame {
    background-color: #fdf1ee;
    border: 1px solid #ec6e6e;
    color: #4c4c4c;
    border-radius: 4px;
    padding: 30px;
    width: 50%;
    position: absolute;
    top: 25%;
    left: 25%;
}
#problemsLoading, #problemsLoadingTheme {
    position: fixed;
    top: 1em;
    left: 0px;
    width: 100%;
    display: table;
    font-size: 13px;
}
#problemsLoading > div, #problemsLoadingTheme > div {
    display: table-cell;
    text-align: center; 
    font-size: 1.2em;
    margin: 0px auto;
}
pre {
    margin-left: 20px;
}
#licensedTo {
  background-color: #FFFFFF;
  border-top: 1px solid #CCCCCC;
  color: #333333;
  display: block;
  height: auto;
  margin-top: 40px;
  opacity: 1;
  overflow: auto;
  padding-top: 20px;
  text-align: center;
}