@charset "utf-8";
p.original, div.original {

	background-color: #C8C8C8;

	border-bottom: 1px solid #000000;

	border-left: 1px solid #FFFFFF;

	border-right: 1px solid #000000;

	border-top: 1px solid #FFFFFF;

	color: #000000;

	margin: 0;

	padding: 10px;

}


.dict {
  font-family: "Courier New", Courier, monospace;
}

.nodict {
  background-color: #B9FFB9;
  color: #000000;
  padding: 1px 5px 1px 5px;
  margin: 5px 0px 5px 0px;
}

input, textarea {
  font-family: "Courier New", Courier, monospace
}

textarea{
	padding: 5px;
}

.xlate {
  margin: 5px;
  padding: 5px;
  border: thin solid green;
  width:auto;
}

.first{
  font-size: larger;
  color: red;
}
.small {
	font-size: x-small;
}

.code {
  font-family: "Courier New", Courier, monospace;
  font-size: large;
}