Mercurial > hg > rlgwebd
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; }