#page-bottom {
	border-top : 1px dashed black;
	text-align : right;
}

#page-bottom span {
	float : left;
}

#page-content {
	border-top : 1px dashed black;
	position : relative;
}

/* === End of page graphical structure styles === */

div.box {
	border : 2px solid black;
	padding : 10px;
}

hr {
	border : dashed black;
	border-width : 0 0 1px 0;
	height : 19px;
}

input.cmd,
textarea.cmd {
	padding : 1px 3px;
}

input.txt,
textarea.txt {
	font-size : 9pt;
	padding : 2px 3px;
}

p {
	padding : 0 5px;
}

p.box {
	border : 2px solid black;
	padding : 10px;
}

small {
	font-size : 80%;
}

small.ann {
	font-size : 75%;
	float : right;
	padding-top : 4px;
}

table.border,
table.border caption,
table.border td,
table.border th {
	border-color : black;
}

td.r {
	text-align : right;
}

ul {
	padding-left : 30px;
}