view tty.css @ 70:d7eb63cd7a16

Try to get some compatibility for keys. I'd thought using the DOM_VK_ names was a good idea. Symbolic names ought to be more portable than opaque numeric constants. Foolish me, expecting things to be sane. Keys now work with FF15 and Chrome 17.
author John "Elwin" Edwards <elwin@sdf.org>
date Thu, 21 Jun 2012 09:43:52 -0700
parents 82be54381964
children a497ecd116d9
line wrap: on
line source

div#top {
	font-size: 1.2em;
	text-align: center;
	margin: 0.2em;
}
img#bell {
	visibility: hidden;
	margin-left: 2em;
}
div.keyrow {
	font-size: 1.2em;
}
div.keyrow > div:first-child {
	clear: left;
}
div.key {
	width: 2em;
	height: 2em;
	float: left;
	border: 2px solid black;
	margin: 0.2em;
	text-align: center;
	background-color: white;
	color: black;
}
div.keysel {
	width: 2em;
	height: 2em;
	float: left;
	border: 2px solid black;
	margin: 0.2em;
	text-align: center;
	background-color: #A0EEA0;
	color: black;
}
div#shiftkey {
	width: 4em;
}
div#ctrlkey {
	width: 3em;
}
div#spacebar {
	width: 8em;
	margin-left: 12em;
}
div#termwrap {
	margin: 0.5em auto;
	padding: 1em;
	background-color: #808080;
	border: 0.25em solid #202020;
	border-radius: 1em;
}
div#inwrap {
	overflow-y: scroll;
}
div#term {
	display: table;
	font-size: 12px;
	font-family: monospace;
	white-space: pre;
}
div#term > div {
	display: table-row-group;
}
div.termrow {
	display: table-row;
}
span.termcell {
	display: table-cell;
}
div.rbutton {
	float: right;
	clear: right;
	border: 2px solid black;
	text-align: center;
	margin: 0.2em;
	font-size: 1.2em;
	padding: 0.1em;
}
div.rbutton > span {
	border: 1px solid black;
	padding: 0 0.1em;
}
div#debug {
	width: 100%;
	height: 10em;
	overflow: scroll;
	white-space: pre;
	clear: both;
	background-color: white;
	color: black;
}
div#debug > div {
	font-family: monospace;
}