view tty.css @ 171:671bed5039aa

RLGWebD: fix simultaneous watcher bugs. WebSockets should now only receive the intended data, no matter how many of them there are or what they are doing. They should...
author John "Elwin" Edwards
date Sat, 10 Jan 2015 18:54:55 -0500
parents a497ecd116d9
children
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.rkey {
	width: 2em;
	height: 2em;
	float: right;
	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;
}