Mercurial > hg > rlgwebd
view tty.css @ 213:08665c56c6a0 default tip
Fix race condition related to watching DGL games.
It's possible for a dgamelaunch game to end and cause rlgwebd to stop watching
it before rlgwebd has started watching it.
author | John "Elwin" Edwards |
---|---|
date | Sun, 16 Aug 2020 20:56:18 -0400 |
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; }