div.main {
	background: url("/webroot/images/yeslogo.png") space 50% 50% /45%;
}

div.content {
	margin-top: 20px;
}

div.footer {
	margin-top: 05px;
}

ul {
	margin: 0px;
}

.error {
	color: red;
	font-style: italic;
	font-weight: bold;
}

.success {
	color: green;
	font-style: italic;
	font-weight: bold;
}

input.submit {
	/* width: 110px; */
	padding: 0px 5px;
	background-color: lightgreen;
	font-size: large;
	font-weight: bold;
	border-radius: 10px;
	border-width: 1px;
	box-shadow: 2px 2px lightgrey;
}

input.restart {
	/* width: 110px; */
	padding: 0px 5px;
	background-color: yellow;
	font-size: large;
	font-weight: bold;
	border-radius: 10px;
	border-width: 1px;
	box-shadow: 2px 2px lightgrey;
}

input.submit:disabled {
	color: lightgrey;
	background-color: white;
}

input.cancel {
	/* width: 110px; */
	background-color: red;
	font-size: large;
	font-weight: bold;
	border-radius: 10px;
	border-width: 1px;
	box-shadow: 2px 2px lightgrey;
}

input.inputError {
	outline: 2px solid red;
}

table {
	background-color: black;
	border-spacing: 2px;
	margin: auto;
}

table.plain {
	background-color: unset;
	border-spacing: 8px;
}

table.plain input {
	margin: 2px;
}

td,th {
	background-color: white;
	padding: 0px 5px;
	text-align: left;
}

th.banner {
	text-align: center;
	font-size: 125%;
}

h1 {
	margin: 15px;
}

h1.heading {
	text-align: center;
	color: darkgreen;
}

h1.banner {
	font-size: 72pt;
	margin: 30px 0px;
}

h1.page-top {
}

h2 {
	margin: 10px;
}

body {
	border: 5px solid darkgreen;
	border-radius: 25px;
	padding: 10px 10px 05px 10px;
	margin: 30px;
}

ul.main {
	text-align: left;
	font-size: 24pt;
	margin-bottom: 0px;
}

div.file-select {
	margin: auto;
	padding: 2px;
	outline: 2px solid blue;
}

div.parameter-table th {
	color: lightgray;
}

div.declaration p {
	font-size: large;
	font-weight:bold;
	font-style:italic;
	color: blue;
	width: 45%;
	margin: 20px auto;
}

div.debugButton {
	margin: 10px 0px 0px 0px;
}

button.debugButton {
	background-image: linear-gradient(top,#ffe4b3,#ffa500);
	background-image: -moz-linear-gradient(top,#ffe4b3,#ffa500);
	background-image: -webkit-linear-gradient(top,#ffe4b3,#ffa500);
	background-image: -o-linear-gradient(top,#ffe4b3,#ffa500);
	background-image: -ms-linear-gradient(top,#ffe4b3,#ffa500);
	border: solid #808080 1px;
	border-radius: 4px;
}

div#debugDiv {
	margin: 10px 0px;
}

div.debug th, div.debug td {
	background-color: #ffffa0;
}