view style-rlg.css @ 77:f8bb37f48d58

Make font resizing affect the keyboard too. The keyboard font size now changes along with the terminal font size. This allows the keyboard to work at page widths down at least to 600px.
author John "Elwin" Edwards <elwin@sdf.org>
date Sat, 23 Jun 2012 17:41:27 -0700
parents a497ecd116d9
children 6145e1ea7ace
line wrap: on
line source

html {
	background-color: #C0FFC0;
	color: #101040;
	font-family: sans-serif;
}

h1 {
	text-align: center;
}

div.modal {
	clear: both;
}

div.rfloat {
	float: right;
	clear: right;
	margin: 0.2em;
	font-size: 1.2em;
	padding: 0.4em;
}

div.centerb {
	clear: both;
	margin: 0.2em;
	padding: 0.4em;
	text-align: center;
}

div.formtable {
	display: table;
	margin: 1em auto;
	border: 2px solid #101040;
}

div.formtable > div {
	display: table-row;
}

div.formtable > div > div {
	display: table-cell;
	padding: 0.4em 2em;
}

div.formtable > div > div:first-child {
	font-weight: bold;
	text-align: center;
}

div.formtable > div.tcapt {
	display: table-caption;
	caption-side: top;
	margin: 0 auto;
	padding: 0.4em;
	font-weight: bold;
	text-align: center;
}

span.ibutton {
	background-color: #D0D0D0;
	border: 2px solid #101040;
	border-radius: 0.3em;
	padding: 0.2em 0.5em;
}

div#register div.formtable span.ibutton {
	font-weight: bold;
}

div#nogames {
	display: none;
	margin-top: 2em;
	margin-bottom: 3em;
	font-weight: bold;
	text-align: center;
}

div#keys {
	display: none;
	font-size: 12px;
}

div#debug {
	display: none;
}