.page{margin: 0 auto; width: max-width;}
.CodeMirror {border-top: 0px solid #888; border-bottom: 0px solid #888;}
.note-gutter {
    width: 30px;
}
div#licence{
	margin-top: 200px;
	font-size: 0.8em;
}
div#sorties{
	border: 2px solid  grey;
}
table
{
    border-collapse: collapse;
	border-spacing: 0.5em;
	vertical-align: middle;
}
td, th
{
    border: 1px solid grey;
	padding: 10px;
}
.centretxt {text-align: center;}
