@charset "windows-1252";
/* <link rel="Stylesheet" type="text/css" title="Style standard pour les applications" href="(...)/Ressources/Application.css" charset="windows-1252"> */

h1 {
	font-family:verdana, arial, helvetica, sans-serif;
	color:maroon;
	font-size: 150%;
}

h3  { background-color:#80f0c0 }

.bouton { font-family:sans-serif; font-size:smaller; background-color:silver; border:outset 2px; padding:3px 1em}

A { text-decoration:none; }
A:hover { text-decoration:underline; }

.command { background-color:buttonface }

div.results
{
	background-color: gray;
	border-bottom: navy thin solid;
	border-left: navy thin solid;
	border-right: navy thin solid;
	border-top: navy thin solid;
	color: white;
	font-family: 'Lucida Console';
	height: 100%;
	padding-bottom: 10px;
	padding-left: 10px;
	padding-right: 10px;
	padding-top: 10px;
	width: 100%
}
div.error
{
	background-color:silver;
	border-bottom: navy thin solid;
	border-left: navy thin solid;
	border-right: navy thin solid;
	border-top: navy thin solid;
}
div.error h2 { color:red; }
div.error td.label {
	vertical-align: top;
	text-align: right;
	font-weight:bold;
	
}
div.error .litteral {
	margin-top: 0.2em;
	font-family: monospace;
	font-size: smaller;
	padding:0.5em;
	white-space: pre;
	background-color:white;
}
.boxed {
	border:thin dotted red;
}