pre {
white-space: pre-wrap; /* css-3 */
white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
white-space: -pre-wrap; /* Opera 4-6 */
white-space: -o-pre-wrap; /* Opera 7 */
word-wrap: break-word; /* Internet Explorer 5.5+ */
}

input
{
	background: #ededed;
}

input[type="button"] {
	background-color: #656565;
	color: white;
	width: auto;
	font-weight: bold;
	padding: 5px 10px;
}

#button_row input {
	margin: 10px; 
}

#display_select {
	float: left;
}

#copy_div {
	float: right;
}

