# HG changeset patch # User John "Elwin" Edwards # Date 1337784368 25200 # Node ID 82be54381964dca7e971feb370ac149df56cd013 # Parent 5f785e1d5ccaf26fd6d769b30aa663f794a7d98e RLG-Web client: some cleanup Separate RLG-specific CSS into its own file, fix some typos. diff -r 5f785e1d5cca -r 82be54381964 index-rlg.html --- a/index-rlg.html Tue May 22 21:44:38 2012 -0700 +++ b/index-rlg.html Wed May 23 07:46:08 2012 -0700 @@ -6,6 +6,7 @@ +

RLG-Web

@@ -105,7 +106,7 @@ -

diff -r 5f785e1d5cca -r 82be54381964 rlgterm.js --- a/rlgterm.js Tue May 22 21:44:38 2012 -0700 +++ b/rlgterm.js Wed May 23 07:46:08 2012 -0700 @@ -419,7 +419,7 @@ nrecv = 0; msgQ = []; //document.getElementById("loginform").style.display = "block"; - setform("login"); + setmode("login"); return; } diff -r 5f785e1d5cca -r 82be54381964 style-rlg.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/style-rlg.css Wed May 23 07:46:08 2012 -0700 @@ -0,0 +1,11 @@ +html { + background-color: #C0FFC0; + color: #101040; +} + +h1 { + text-align: center; +} +div.modal { + clear: both; +} diff -r 5f785e1d5cca -r 82be54381964 tty.css --- a/tty.css Tue May 22 21:44:38 2012 -0700 +++ b/tty.css Wed May 23 07:46:08 2012 -0700 @@ -7,9 +7,6 @@ visibility: hidden; margin-left: 2em; } -div.modal { - clear: both; -} div.keyrow { font-size: 1.2em; } @@ -23,6 +20,8 @@ border: 2px solid black; margin: 0.2em; text-align: center; + background-color: white; + color: black; } div.keysel { width: 2em; @@ -31,7 +30,8 @@ border: 2px solid black; margin: 0.2em; text-align: center; - background-color: #C0FFC0; + background-color: #A0EEA0; + color: black; } div#shiftkey { width: 4em; @@ -87,6 +87,8 @@ overflow: scroll; white-space: pre; clear: both; + background-color: white; + color: black; } div#debug > div { font-family: monospace;