/* <style type=text/css> */

html {
    overflow-x: auto;
    font-family: sans-serif;
    line-height: 1.15;
}

body, a, h1, h2, h3 {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
}

body {
    font-size: 1rem;
    font-weight: 400;
    line-height: 1.5;
}

a {
    text-decoration: normal;
    /* white-space: nowrap; */
    white-space: normal;
}

h1, h2, h3 {
  font-weight: 500;
  line-height: 1.2;
}

h1 {
  font-size: 1.75rem;
}

h2 {
    font-size: 1.5rem;
    text-transform: none;
    letter-spacing: normal;
}

h3 {
  font-size: 1.25rem;
}

pre, code, kbd, samp {
  font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  font-size: 0.95rem;
}

div.main {
    padding: 0px 8px 0px 8px;
}

table {
    border-spacing: 10px;
}

table.maintable {
    width: 100%;
    height: auto;
    /* border: 2px solid black; */
}

table.lecturetable {
    border-spacing: 0px;
    border-collapse: separate;
    /* border: 1px solid black; */
}

table.lecturetable th,td {
    margin: 2px;
    padding: 2px;
    /* border: 1px solid black */
}

td.centercol {
    text-align:         center;
}

th,td {
    /* border: 2px solid black; */
    padding-left: 8px;
    padding-right: 8px;
}

table.centertable {
    margin-left: auto;
    margin-right: auto;
}

.col1-center td:nth-child(1) {text-align: center}
.col2-center td:nth-child(2) {text-align: center}
.col3-center td:nth-child(3) {text-align: center}
.col4-center td:nth-child(4) {text-align: center}
.col4-center td:nth-child(5) {text-align: center}
.col6-center td:nth-child(6) {text-align: center}

table.lectures tr td {
    vertical-align: top;
}

img.displayed {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

th.leftcol {
    text-align:         left;
}

/*
td.midcol {
    text-align:         center;
    width:              24%;
}  

td.rightcol {
    text-align:         right;
    width:              10%;
}

h3 {
    background-color:  #d3d3d3;
    font-size:        	120%;
}
*/

/* </style> */