view tty.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
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;
}