@font-face {
	font-family: 'Poppins';
	font-style: normal;
	font-weight: 400;
	src: local('Poppins-Regular'),
		url('fonts/Poppins-Regular.woff2') format('woff2');
}
@font-face {
	font-family: 'Poppins';
	font-style: normal;
	font-weight: 700;
	src: local('Poppins-Bold'),
		url('fonts/Poppins-Bold.woff2') format('woff2');
}
blockquote,div,h1,h2,h3,h4,i,ol,p,td,th,ol,ul {
	font-family: Poppins, Verdana, sans-serif;
}
body { 
	<!-- Create a margin on the left equal to the scrollbar on the right if a scrollbar exists -->
	margin: 0;
	margin-left: calc(100vw - 100%); 
}
code {
	font-family: Consolas, Menlo, monospace;
	font-weight: bold;
	white-space: nowrap;
}
fieldset {
	margin-top: 1em;
}
h1 {
	text-align: center;
}
li {
	/* This is needed for Google Search Console mobile friendly */
	margin-bottom: 0.2em
}
legend {
	font-weight: bold;
	font-size: large;
}
pre {
	font-family: Consolas, Menlo, monospace;
	white-space: pre-wrap;
}
pre {
	background-color:#ddd;
	padding:0.5em;
}
table {
	border-collapse:collapse;
}
td,th {
	padding:0.2em;
	vertical-align: top;
	text-align: left;
}
#body {
	margin: 0 auto;
	max-width: 1000px;
}
#copyright {
	clear:both;
}
#menu {
	border-bottom: 8px solid rgb(255,196,30);
	background-color: rgb(81,119,128);
	background-image:url(menu.webp);
	background-repeat:repeat-x;
	padding-bottom:5pt;
	padding-top:5pt;
}
#menu a:link {
	color:white;
	text-decoration:none;
}
#menu a:visited {
	text-decoration:none;
}
#menu a:active, #menu a:hover {
	text-decoration: underline;
}
#menu a:visited {
	color:white;
}
.hint {
	color: gray;
}
.menuBullet {
	background-repeat:no-repeat;
	margin-left:10px;
	margin-right:18px;
	padding-left:10px;
}