.navigation {
	overflow: hidden;
	/*opacity: 0.9;*/
	top: 0;
	position: fixed;
}

.navigation a {
	background-color: lightblue;
	float: left;
	color: white;
	text-align: center;
	padding: 14px 16px;
	text-decoration: none;
	font-size: 17px;
	margin-left: 2px;
	margin-right: 2px;
	border-color: green;
	border-width: 2px;
	border-style: dashed;
	word-spacing: 0.4em;
	letter-spacing: 0.2em;
	transition-property: color, background-color;
	transition-duration: 1.5s, 1.5s;
}

.navigation a:hover {
	background-color: darkblue;
	color: brown;
}

.navigation a.activeNavigation {
	background-color: darkblue;
	/*opacity: 1.0;*/
	color: brown;
	border-width: 2px;
	border-style: solid;
	word-spacing: 0.4em;
	letter-spacing: 0.2em;
}

h1 {
	background-color: lightblue;
	color: brown;
	padding: 0.5em;
	padding-left: 1em;
	border-radius: 0.5em;
	border-color: green;
	border-width: 2px;
	border-style: solid;
	word-spacing: 0.4em;
	letter-spacing: 0.2em;
}

h2 {
	background-color: lightblue;
	color: brown;
	padding: 0.5em;
	padding-left: 1em;
	border-radius: 0.5em;
	border-color: green;
	border-width: 2px;
	border-style: dashed;
}

h3 {
	background-color: lightblue;
	color: brown;
	padding: 0.5em;
	padding-left: 2em;
	/*border-radius: 0.5em;*/
	border-color: green;
	border-width: 1px;
	/*border-style: dotted;*/
}

ol {
	list-style-type: decimal-leading-zero;
}

li {
	padding-top: 7px;
}

li::marker {
	color: darkblue;
}

body {
	margin: 25px;
	margin-left: 100px;
	padding-top: 40px;
	/*padding:10px;*/
	width:65%;
}

table {
	border-collapse: separate;
	border-spacing: 0.2em;
}

th,td {
	padding: 0.2em 0.5em;
	border-radius: 0.1em;
}

thead th {
	background-color: #ffebe6;
	color: #c32e04;
}

th {
	font-style: bold;
	text-align: center;
	box-shadow: inset 1px 3px 5px -3px rgba(0,0,0,0.5);
}

td {
	font-style: italic;
	text-align: left;
	box-shadow: inset 1px 3px 5px -3px rgba(0,0,0,0.5);
}

td:empty {
	box-shadow: none;
}

tr:hover {
	background-color: #f0f0f0;
}

img {
	display: block;
	margin-left: auto;
	margin-right: auto;
	padding: 5px;
	width: 85%;
	height: auto;
	border: 1px solid orange;
	border-radius: 5px;
}

#thumbnail {
	width: 25px;
	height: auto;
	border: none;
	float: right;
}

.footnote {
	color: #666666;
	font-size: 80%;
}

.showElement {
	cursor: pointer;
	display: block;
	color: darkblue;
}

.showElement:hover {
	text-decoration: underline;
}

.showElement::before {
	content: "\0027B7\00A0";
	color: darkblue;
}

.showElement::after {
	content: "";
	color: darkblue;
}

.hideElement {
	cursor: pointer;
	display: none;
	color: grey;
}

.hideElement:hover {
	text-decoration: underline;
}

.hideElement::before {
	content: "\0027B9\00A0";
	color: grey;
}

.hideElement::after {
	content: "";
	color: grey;
}
