/**	main.css
	Copyright 2015-2022, Calerga Sarl
*/

body {
	background: #eee;
	max-width: 60em;
	margin-left: auto;
	margin-right: auto;
	font-family: helvetica, sans-serif;
	color: #444;
}

img {
	border: 0;
}

#main {
	min-height: 400px;
	margin: 0px;
	padding: 0px;
	display: -webkit-flex;
	display: flex;
	-webkit-flex-flow: row;
	flex-flow: row;
}

#main > nav {
	width: 20ex;
}

.hidden {
	position: absolute !important;
	overflow: hidden;
	clip: rect(1px,1px,1px,1px);
}

header, footer {
	padding-left: 21ex;
	margin-right: 1ex;
}

header h1 {
	margin-top: 0;
	margin-bottom: 0;
	background: url("Logo2007-256x52.png") no-repeat, url("Logo2007-1x52-bg.png") repeat-x;
	height: 52px;
	background-color: white;
}

div.lang {
	font-size: 80%;
	float: right;
}

div.lang a:link, div.lang a:visited {
	margin-top: 0.2ex;
	margin-right: 1ex;
	color: silver;
	text-decoration: none;
}

#main > nav li a.extern {
	padding-right: 0px;
}

div.lang strong {
	margin-top: 0.2ex;
	margin-right: 1ex;
	color: white;
	font-weight: bold;
}

footer p {
	margin-top: 0ex;
	font-size: 9pt;
}

footer p span.date {
	float: right;
	color: #bbb;
}

#main > nav li {
	list-style-type: none;
	text-align: center;
	padding-top: 0.1ex;
	padding-bottom: 0.1ex;
	margin-bottom: 0.7ex;
	background-color: #ddd;
	border-radius: 5px;
}

#main > nav li:hover {
	background-color: #ccc;
}

#main > nav li a:link {
	display: block;
	color: navy;
	text-decoration: none;
}

#main > nav li.dis, nav li.dis:hover {
	font-style: italic;
	color: #999;
	background-color: transparent;
}

#main > nav li.sep, #main > nav li.sep:hover {
	margin-bottom: 0.7ex;
	background-color: transparent;
}

div.box {
	float: left;
	width: 350px;
	height: 330px;
	padding: 5px;
	margin: 5px;
	box-shadow: 1px 1px 3px #aaa;
}

div.box img.center {
	display: block;
	margin-left: auto;
	margin-right: auto;
}

main {
	margin-left: 1ex;
	margin-right: 1ex;
	padding-top: 1ex;
	padding-bottom: 1ex;
	padding-left: 5ex;
	padding-right: 5ex;
	background: white;
	-webkit-flex: 3 1 60%;
	flex: 3 1 60%;
	-webkit-order: 2;
	order: 2;
}

main > p, main > dl, main > ul {
	text-align: start;
}

main > dd {
	-webkit-margin-start: 3ex;
}

main > h1:first-child {
	margin-top: 0ex;
}

p, dl, dt, ul, table, td, th
	{font-family: verdana, arial, helvetica, sans-serif; font-size: 10pt;
	line-height: 1.4}
pre {font-size: 10pt; font-family: monaco, courier, fixed}

h1 {
	font-size: 18pt;
	font-family: verdana, arial, helvetica, sans-serif
}

h2 {
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 13pt;
	margin-top: 20pt;
	padding-right: 0.3ex;
	width: max-content;
	box-shadow: 0em -0.5em 0 #fdd inset;
}

h3 {font-family: verdana, arial, helvetica, sans-serif; font-size: 12pt; margin-top: 1em; font-weight: bold}

table.framed {
	border-collapse: collapse;
	margin-bottom: 1ex;
}
table.framed td {
	padding:10px;
}
table.framed tr:nth-child(2) {
	border-top:1px #333 solid;
}
table.framed tr:last-child {
	border-bottom:1px #333 solid;
}

div.framebox {
	padding: 10px;
	background: #ffeeee;
}

@media all and (max-width: 1000px) {
	h1 {font-size: 22pt;}
	h2 {font-size: 14pt;}
	h3 {font-size: 11pt;}
}

@media all and (max-width: 800px) {
	body {
		background: white;
		font-size: 80%;
	}

	#main, #page {
		-webkit-flex-flow: column;
		flex-direction: column;
	}

	header, footer {
		padding-left: 0ex;
		padding-right: 0ex;
		margin-left: 2ex;
		margin-right: 2ex;
	}

	main, #main > nav, #main > aside {
		/* document order */
		-webkit-order: 0;
		order: 0;
	}

	main {
		margin-left: 0ex;
		margin-right: 0ex;
		padding-left: 2ex;
		padding-right: 2ex;
	}

	#main > nav {
		width: 100%;
	}

	#main > nav ul {
		margin-left: 1ex;
		padding-left: 0ex;
		padding-bottom: 1ex;
	}
	#main > nav li {
		margin-left: 0px;
		text-align: left;
		padding-left: 1ex;
		padding-right: 1ex;
		background-color: white;
		float: left;
	}
	#main > nav li.sep {
		display: none;
	}
}

@media all and (max-width: 640px) {
	h1 {font-size: 18pt;}
	h2 {font-size: 13pt;}

	header h1 {
		background: url("Logo2007-128x26.png") no-repeat, url("Logo2007-1x26-bg.png") repeat-x;
		height: 26px;
	}
}

@media all and (max-width: 540px) {
	h1 {font-size: 15pt;}
	h2 {font-size: 13pt;}

	a.extern {
		background-image: url("extlink-small.png");
	}
}

@media all and (min-width: 801px) {
	a.extern {
		background-image: url("extlink.png");
		background-repeat: no-repeat;
		background-position: right;
		padding-right: 12px;
	}
}
@media all and (max-width: 800px) {
	a.extern {
		background-image: url("extlink-small.png");
		background-repeat: no-repeat;
		background-position: right;
		padding-right: 12px;
	}
}