body {
	background-image: url(./notepad1edit.svg); 
	background-color:#ffdddd;
	/*no-repeat center center fixed;
	 -moz-background- size: cover;
	-o-background-size: cover; 
	-webkit-background-size: cover;
	/*background-repeat: no-repeat;*/
	background-repeat:repeat-y;
	background-size: 100%;
	}
.index{
	background-size: cover
	}
.main {
	/*margin-left: 12em;*/
	margin-right: 2em;
	}
.side{
		float: left
	ul {
		list-style-type: none;
		padding-right: 2em;
		top: 2em;
		left: 0.5em;
		bottom: 1em;
		width: 6em;
		}
}
.sideclose {
		width: 4em;
		margin-right: 2em;
		float: left;
	}
#sideshow:target {
	display:block;
	/* discovered via web site, https://enmascript.com/articles/2019/09/26/toggle-content-on-click-without-javascript/ */
	}
#sideshow{
	display:none;
	}
a:link {
	color: green;
	text-decoration: none;
	}
a:visited {
	color: red ;
	}
.qt {
	margin-left: 1.5em;
	font-style: oblique;
	}
pre {
	color: navy;
	white-space: pre-line;
	}
.show{
	display: none;
	}
.hide:focus + .show{
	display: inline;
	}
.hide:focus {
	display:none;
	}
.hide:focus ~ #hideshow{
	display:none;
	}
@media print { .hide, .show { display: none; } }
span {
	margin-right: 2em;
	}
span.sc {
	font-variant: small-caps;
	margin: 0em;
	}
span.ob {
	font-style: oblique;
	margin: 0em
	}
footer {
	font-size: smaller;
	font-style: italic;
	color: silver;
	clear: right;
	margin-top: 4em;
	margin-right: 4em;
	text-align: right;
	}
img.small {
	float: left;
	padding-right: 0.5em;
	}
img.main {
	padding: 0.5em;
	float: right;
	margin-bottom: 1em;
	}
/*div::after {
  content: "";
  background: url(./notepad1edit.svg)  no-repeat center center fixed;
	-webkit-background-size: cover; -moz-background- size: cover;
	-o-background-size: cover; background-size: cover; ;
  opacity: 0.2;
  top: 0;
  left: 0;
  bottom: 0;
  right: 0;
  position: absolute;
  z-index: -1;
}
*/
ul.navbar 
	li {
		background: white;
		margin: 0.5em 0;
		padding: 0.3em;
		border-right: 1em solid black; 
		}
ul.navbar 
	a {
		text-decoration: none 
		}
	address {
		margin-top: 1em;
		padding-top: 1em;
		border-top: thin dotted;
		}
.huge {
	font-size: 12em;
	font-weight: bold;
	color: red;
	}