body {
  font-family: Inter, Roboto, 'Helvetica Neue', 'Arial Nova', 'Nimbus Sans', Arial, sans-serif;
  font-weight: 400;
  font-size: 1.25rem;
  line-height: 1.2;
}

h1, h2, h3 {
  font-weight: 700;
}

h1 {
  font-size: 2rem;
}

h2 {
  font-size: 1.75rem;
}

h3 {
  font-size: 1.5rem;
  margin-bottom: 1rem;
}

strong {
  font-weight: 700;
}

em {
  font-style: italic;
}

a {
  color: #447aa9;
  text-decoration: underline;
}

a:hover {
  text-decoration: none;
}

header {
  padding: 0.75rem 1.5rem;
}

main section, footer {
  padding: 0.5rem 1rem;
}

.result, .result-detail, #ph-analyzing {
  display: none;
}

em.backwards {
  color: #3655e7;
  display: inline-block;
  font-style: normal;
  transform: skewX(10deg);
}

.highlight p {
  text-align: center;
  padding: 0.75rem 1rem;
  color: #acbbff;
}

.highlight p strong {
  color: #fff;
}

.highlight p:nth-child(odd) {
  background-color: #182e8a;
}

.highlight p:nth-child(even) {
  background-color: #233eb4;
}

h2 {
  margin: 0.75rem 0;
}

.fancy {
  font-style: normal;
  background: linear-gradient(to right, #6444a9, #447aa9);
  -webkit-background-clip: text;
  background-clip: text;
  color: transparent;
  -webkit-text-fill-color: transparent;
}

.examples {
  display: flex;
  flex-wrap: wrap;
  gap: 1rem;
}

.example {
  font-style: italic;
  flex: 1 1 0;
  min-width: 20rem;
  background-color: #fff788;
  border-radius: 0.5rem;
  border: 2px dashed #96924b;
  padding: 1rem 1.5rem;
  cursor: pointer;
}

.example.inactive {
  opacity: 0.5;
  cursor: progress;
}

.example label {
  display: block;
  font-style: normal;
  font-size: 0.8rem;
  margin-bottom: 0.5rem;
}

.example:hover {
  background-color: #fffcc3;
}

#form textarea {
  width: 100%;
  height: 10rem;
  box-sizing: border-box;
  margin: 1rem 0;
  font-family: 'Nimbus Mono PS', 'Courier New', monospace;
  font-size: 1.25rem;
}

#form button {
  font-size: 2rem;
  font-weight: 700;
  padding: 0.5rem 1rem;
  cursor: pointer;
}

.result, .result-placeholder {
  margin: 1.5rem 1rem;
  padding: 1.5rem 2rem;
  border-radius: 1rem;
  border: 2px solid #233eb4;
  color: #182e8a;
  background-color: #cbd4ff;
}

#ph-analyzing {
  border-color: #a45f1b;
  color: #492a0b;
  background-color: #ffdbb7;
}

#detected-true {
  border-color: #b22727;
  color: #711313;
  background-color: #ffc8c8;
}

#detected-false {
  border-color: #1d811f;
  color: #0d460e;
  background-color: #ceffd0;
}

.result li {
  margin-top: 1rem;
}

@keyframes spin { 
  100% { 
    transform: rotate(360deg); 
  } 
}

.spinner {
  box-sizing: border-box;
  width: 1.2rem;
  height: 1.2rem;
  border-radius: 100%;
  border: 0.25rem solid rgba(255, 255, 255, 0.25);
  border-top-color: #a45f1b;
  animation: spin 1s infinite linear;
  float: left;
  margin-right: 0.5rem;
}

dt {
  font-weight: 700;
  margin: 1rem 0 0.5rem 0;
}

dt label, dd label {
  font-weight: 900;
  color: #9a9a9a;
}

.nobr {
  white-space: nowrap;
}

footer {
  text-align: right;
  margin-top: 3rem;
  border-top: 2px dashed #447aa9;
}