view tty.css @ 158:9961a538c00e

rlgwebd.js: get rid of numerical game identifiers. Games will be indentified by gamename/username pairs. This will allow better interoperability with dgamelaunch. Polling clients are no longer supported; the code remnants need to be removed. The reaper() function will likely crash. Unexpectedly, the WebSocket client still works well enough to play. Watching and listing current games are probably broken.
author John "Elwin" Edwards
date Thu, 01 Jan 2015 15:56:22 -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;
}