view style-rlg.css @ 195:3bdee6371c3f

Change various filenames. The shell script previously used to launch the daemon is now called "initscript". The script files have had the ".js" extension removed from their names.
author John "Elwin" Edwards
date Thu, 14 Jan 2016 20:52:29 -0500
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;
}