:link { color: #0000ff; }
:hover { color: #ff0000; }
:visited { color: #a000ff; }

body {
	color: #000000;
	background-color: #e0e0e0;
	margin-right: 5%;
	margin-left: 5%;
}

h2, h3, h4, h5, h6 {
	padding: 5px 5px 5px 5px;
	border-color: #7070ff;
	background-color: #c0c0ff;
	font-weight: bolder;
	width: 100%;
}

h1 {
	/* border-style: double; */
	/* border-width: 8px; */
	border-style: none;
        text-align: right;
	font-size: 200%;
	font-weight: bolder;
	/* font-style: italic; */
}

h2 {
	border-style: double;
	border-width: 5px;
	font-size: 120%;
}

h3 {
	border-style: solid;
	border-width: 2px;
	font-size: 120%;
}

h4 {
	border-style: none none none double;
	border-width: 0 0 0 5px;
	font-size: 100%;
}

h5 {
	border-style: none none none solid;
	border-width: 0 0 0 2px;
	font-size: 100%;
}

h6 {
	border-style: none;
	border-width: 0;
	font-size: 100%;
}

em {
	font-style: oblique;
	font-weight: bolder;
}

dt {
	font-weight: bolder;
}

pre {
	font-family: monospace !important;
	white-space: pre !important;
	padding: 20px 20px 20px 20px;
	background-color: #d0d0d0;
	border-style: solid;
	border-width: 1px;
}

pre.important {
	background-color: #ffd0d0;
}

pre.comment {
	background-color: #d0ffd0;
}

hr {
	/* size: 0; */
	/* width: 0; */
}