body {
  text-align: center;
  font-size: 18px;
  line-height: 130%;
}

.eqn {
  font-size: 36px;
  display: inline-block;
  min-width: 800px;
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 30px;
  line-height: initial;
}

.highlighted {
  text-decoration: underline;
}

.monospace {
  font-family: monospace;
}

.warning {
  color: #8a6d3b;
}

.error {
  color: red;
}

.errors {
}

.error-out {
  margin-bottom: 5px;
}

.Variable {
  font-weight: bold;
}

.error-div-div {
  /*height: 200px;*/
}

.error-div {
  overflow-y: scroll;
  max-height: 0px;
  -webkit-transition-property: max-height;
  -webkit-transition-duration: .5s;
  -webkit-transition-timing-function: ease;
  -moz-transition-property: max-height;
  -moz-transition-duration: .5s;
  -moz-transition-timing-function: ease;
  -ms-transition-property: max-height;
  -ms-transition-duration: .5s;
  -ms-transition-timing-function: ease;
  transition-property: max-height;
  transition-duration: .5s;
  transition-timing-function: ease;
  background: rgb(210, 210, 210);;
  text-align: initial;
  border-radius: 5px;
  border: 2px solid red;
  margin-left: 15px;
  margin-right: 15px;
  margin-bottom: 15px;
}


.header {
  font-size:36px;
  font-weight: bold;
}

.in-div {
  margin: 10px;
}


.in-div-div {
  margin-top: 0px;
}

.in-grammar {
  display: table;
  width: 100%;
}

.grammar-row {
  display: table-row;
}

.grammar-box {
  display: table-cell;
  padding: 10px;
}


.in-grammar textarea {
  font-size: 14px;
  height: 6em;
}

.in-box {
  border-radius: 5px;
  border: 2px solid green;
  font-size: 18px;
  width: 500px;
  max-width: 75%; 
  vertical-align: middle;
  margin-top: 20px;
  margin-bottom: 3px;
}

.in-bad {
  border: 2px solid red;
}

.hider-span {
  /*float: left;*/
}

.collapsible-grammar {
  display: none;
}

.undisplay {
  display: block;
}

.preset-select {
  margin-bottom: 5px;
}

.paren-out {
  font-style: italic;
  margin-bottom: 3px;
}

/* http://www.bestcssbuttongenerator.com/ */
.button {
	-moz-box-shadow:inset 0px 1px 0px 0px #ffffff;
	-webkit-box-shadow:inset 0px 1px 0px 0px #ffffff;
	box-shadow:inset 0px 1px 0px 0px #ffffff;
	background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #ffffff), color-stop(1, #f6f6f6));
	background:-moz-linear-gradient(top, #ffffff 5%, #f6f6f6 100%);
	background:-webkit-linear-gradient(top, #ffffff 5%, #f6f6f6 100%);
	background:-o-linear-gradient(top, #ffffff 5%, #f6f6f6 100%);
	background:-ms-linear-gradient(top, #ffffff 5%, #f6f6f6 100%);
	background:linear-gradient(to bottom, #ffffff 5%, #f6f6f6 100%);
	filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffff', endColorstr='#f6f6f6',GradientType=0);
	background-color:#ffffff;
	-moz-border-radius:6px;
	-webkit-border-radius:6px;
	border-radius:6px;
	border:1px solid #dcdcdc;
	display:inline-block;
	cursor:pointer;
	color:#666666;
	font-family:arial;
	font-size:15px;
	font-weight:bold;
	padding:6px 24px;
	text-decoration:none;
	text-shadow:0px 1px 0px #ffffff;
  vertical-align: middle;
}

.button:hover {
	background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #f6f6f6), color-stop(1, #ffffff));
	background:-moz-linear-gradient(top, #f6f6f6 5%, #ffffff 100%);
	background:-webkit-linear-gradient(top, #f6f6f6 5%, #ffffff 100%);
	background:-o-linear-gradient(top, #f6f6f6 5%, #ffffff 100%);
	background:-ms-linear-gradient(top, #f6f6f6 5%, #ffffff 100%);
	background:linear-gradient(to bottom, #f6f6f6 5%, #ffffff 100%);
	filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#f6f6f6', endColorstr='#ffffff',GradientType=0);
	background-color:#f6f6f6;
}

.button:active {
	position:relative;
	top:1px;
}