body {
  font-family: "Helvetica Neue", sans-serif;
  font-size:   250%;
}

abbr { border: none; }

.container { padding: 0.75em; }

.fail {
  color:         red;
  font-weight:   bold;
  margin-bottom: 0.75em;
}

.pi {
  font-family: "Big Caslon", "Bell MT", "Times New Roman", serif;
}

.title {
  color:     dimgray;
  float:     left;
  font-size: 1000%;
  margin:    -0.45em 0.1em -0.175em 0;
}

.help {
  margin-bottom: 0.75em;
}

.clear { clear: both; }

.display {
  border:             solid lightgray 0.25em;
  -moz-border-radius: 1.25em;
  border-radius:      1.25em;
  font-family:        monospace;
  padding:            0.75em 0.75em 0.75em 2em;
  text-indent:        -1.25em;
}

.ellipsis { color: lightgray; }

.user-input { display: none; }

.cursor .ellipsis, .cursor .user-input :last-child {
  border-right: solid black 0.05em;
  padding:      0.05em 0.1em 0.05em 0;
}

.flash { border-color: red; }

.counter {
  color:         dimgray;
  font-size:     65%;
  padding-right: 1.25em;
  text-align:    right;
}