body {
	margin: 1ex 1ex 1ex 1ex;
	padding:0px;
	display: grid;
	grid-template-areas:
		"pl banner pr"
		"pl navbar pr"
		"pl content pr"
		"pl footer pr"
	;
	grid-template-columns: 1fr 100ch 1fr;
	grid-template-rows: max-content max-content max-content max-content;
}

#banner {
	grid-area: banner;
	padding: .5ex;
	margin-bottom: 0ex;
	background-color: rgb(213, 219, 225);
	Color: rgb(0, 0, 255);
	text-align: center;
}

#banner h1 {
	 font-size: 140%;
}

#banner h1, #footer h2 {
	Color: blue;
}

h2 {
	font-family: sans-serif;
	margin-top: 3ch;
	margin-bottom: .5ch;
}

#navbar {
	display: inline-flex;
	flex-wrap: wrap;
	flex-direction: row;
	justify-content: center;
	overflow-x: auto;
	grid-area: navbar;
	width: 100%;
	padding-top: 0ch;
	padding-bottom: 0ch;
	margin-bottom: 0ch;
	color: rgb(64, 64, 64);
	margin: 0ch;
}

#navbox {
	padding-top: 2ex;
	padding-bottom: 2ex;
}

.navitem {
        font-family: sans-serif;
        width = auto;
        color: red;
        margin: 0 .5ch;
        padding: .5ch 1.5ch;
        border-style: solid;
        border-color: lightblue;
        background-color: lightblue;
        text-decoration: none;
        border-radius: 0 0 .8ch .8ch;
        font-size: 100%;
        margin: 1ch;
}


#content {
	grid-area: content;
	margin-top: 3ex;
	width: 100%;
	padding-right: 3ex;
	padding-left: 3ex;
	float: left;
	padding-bottom: 2ex;
}

#footer {
	grid-area: footer;
	clear: both;
	padding: 1ex;
	margin-top:  1ex;
	text-align: center;
	font-size: x-small;
}

hr {
  display: block;
  margin-top: 3ex;
  margin-bottom: 3ex;
  margin-left: auto;
  margin-right: auto;
  border-style: inset;
  border-width: 1px;
  width: 50%;
}

dt {
	font-weight: bold;
}

.date {
	padding-bottom: .5ex;
}

.lec {
	margin-bottom: 4ex;
	background-color: #F0F0FF;
	border: solid black;
	padding: 1ex;
}

.sechdr {
        margin-bottom: 2ex;
        border: solid blue;
	background-color: blue;
	color: white;
        padding: 1ex;
        font-weight: bold;
        font-size: 130%;
}

.lectitle {
	font-weight: bold;
	font-size: 110%;
}

.readings {
	padding-left: 2.5em;
	padding-bottom: 0ex;
}

.readhdr {
	font-weight: bold;
}

.concepts {
	padding-left: 2.5em;
	padding-bottom: 1ex;
}

.concepts blockquote {
	margin-top: 1ex;
}

.slide {
	padding-left: 2.5em;
}

.pre {
	padding-bottom: 1ex;
	padding-top: 1ex;
}
.post {
	padding-bottom: 1ex;
}

.hw {
	color: red;
	font-weight: bold;
	font-size: 105%;
}

.readings ul {
	padding-bottom: 1ex;
	padding-top: 0ex;
	margin-top: 1ex;
}

.annotate {
	font-weight: bold;
	font-style: italic;
	font-family: sans-serif;
	font-size: 110%;
	border: solid red;
	padding: 1ex;
	margin-bottom: 1ex;
	margin-top: 1ex;
	margin-left: 2.5em;
}

.subannotate {
	font-weight: normal;
	font-size: 85%;
	color: blue;
	padding-left: 3ex;
}

.assign {
}

.assign li {
	padding-bottom: 1ex;
}

.loglist dt {
	font-weight: bold;
}

.loglist dd {
	margin-left: 5ex;
	margin-bottom: 1ex;
}