view web/main.css @ 55:e421ea2519ec

dgamelaunch: define user/group by name instead of UID/GID. The user and group might not be created with the UID and GID expected, so it is better to use names. They can be changed to numeric values after installation.
author John "Elwin" Edwards
date Sun, 11 May 2014 08:32:31 -0700
parents 86b616d88020
children 0037de90af8b
line wrap: on
line source

@import url("http://fonts.googleapis.com/css?family=Inconsolata");

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

h1 {
	text-align: center;
}

h1, h2, h3 {
	font-family: Inconsolata, monospace;
}

div.content {
	margin: 0 auto;
	width: 75%;
}

div.nav {
	font-size: 0.8em;
	background-color: #E0FFE0;
	padding: 0.3em;
}

ul {
	list-style-type: none;
}

form {
	width: 90%;
	margin: 1.5em auto;
	border-top: 1px solid #101040;
	border-bottom: 1px solid #101040;
}

form div {
	margin: 0.6em auto;
}

span.metavar {
	font-style: italic;
}

div.foot {
	margin-top: 1em;
	font-size: 0.8em;
	background-color: #E0FFE0;
	padding: 0.3em;
	text-align: center;
}

div.foot a {
	padding: 0 0.6em;
}