view style-rlg.css @ 174:dc12ba30d559

Fix further crashes when following dgamelaunch games. The crashes apparently resulted from reading a ttyrec header and then trying to read the data chunk before dgamelaunch produced it. When the data chunk did become available, it would be read by the header function. The simplest solution was to store the position for reading the ttyrec file in the DGLSession, and to leave it unchanged if anything unexpected occurs when reading.
author John "Elwin" Edwards
date Mon, 12 Jan 2015 17:10:35 +0000
parents 99fbc7c55b81
children
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#messages {
	width: 100%;
	max-height: 10em;
	overflow-y: auto;
	clear: both;
}

div#messages div {
	margin: 0.4em 0.8em;
	padding: 0.4em 0.4em;
	background-color: white;
}

div#messages > div:first-child {
	font-weight: bold;
}

div#messages > div.warn {
	background-color: #F0F0C0;
}

div#debug {
	display: none;
}

/* For options.html */
div#switch {
	display: none;
	margin: 1em;
	padding: 0.4em 0.4em;
	text-align: center;
}

div#switch span.ibutton {
	margin: 0.4em;
	font-weight: bold;
}

div#ostat {
	text-align: center;
}

div#optfoot {
	margin: 0 auto;
	text-align: center;
}