textarea.lre_tinput {
	padding: 4px;
	border: 2px solid #999;
	clear:both;
        /* width depends on bounding box as per http://stackoverflow.com/questions/39068128/html-textarea-isnt-responsive */
        -webkit-box-sizing: border-box;
        -moz-box-sizing: border-box;
        box-sizing: border-box;
        width: 100%;
}
.lre_absqr {
	padding: 4px;
	color: #000;
	padding-left: 2em;
	padding-right: 2em;
}
.lre_absltx {
	padding: 4px 1em 4px 1em;
}
.lre_rendermsg {
	font-style: italic;
}
.lre_ltxsrc {
	color: #600;
	font-family: Consolas,
             "Andale Mono",
             "Lucida Console",
             "Lucida Sans Typewriter",
             "DejaVu Sans Mono",
             "Bitstream Vera Sans Mono",
             "Liberation Mono",
             "Nimbus Mono L",
             Monaco,
             "Courier New",
             Courier,
             monospace;
}
div.lre_usepclass {
	float:right;
	color: #c50;
}