body { 
  font-family:Helvetica,Verdana,sans-serif; 
  font-size:12pt;
}

code {
  font-family:monospace;
  font-weight:bold;
  font-size:12pt;
}

#headerbox {
  position:sticky; /* Modification: (Apr 20, 2023) - changed position from relative to fixed */
  top:0;
  left:0;
  width:100%;
  /* display:flex;  */
  margin-bottom: 8px; 
  background-color: black;
  padding-top:5px;
}

#coursetitle {
  display:block;
  Font-weight:bold;
}

#pagetitle { 
  font-size:2.1vw;
  color:#9b9c9e;
  position:relative;
  text-align:center;
  /* Modification: (Jan 07, 2023) - added padding at the top and bottom of the page title */
  padding-bottom:3px;
  padding-top:3px;
  z-index:0;
  /* End of modification */
}

#logo {
  position:absolute;
  width:15vw;
  /* display:inline; */
  top:5px; /* Modification: (Jan 07, 2023) - changed from 0px to 5px */
  left:0px;
  z-index:-1;
}

.menubox {
  position:relative;
  width:100%;
  text-align:center;
  display:inline-block;
  /*margin-bottom:10px;*/ /* Modification: (Jan 07, 2023) - increased margin from 10px to 15px */
  margin-top:10px;
}

div.menuline {
  width:100%;
  border-bottom:1px solid black; /* Modification: (07 Jan, 2023) - changed thickness from 2px to 1px */
  margin-top:15px; /* Modification: (Apr 20, 2023) - changed padding-top:2px; to margin */
}

div#thispagemenu {
  display:inline;
  height:3vh;
  background-color:white;
  border-radius:4px; /* Modification: (Jan 07, 2023) - added curved edges to active page's border */
  border:1px solid black; /* Modification: (Jan 08, 2023) - hanged from 2px to 1px */
  padding:5px;
  margin:2px;
}

div.menulink {
  display:inline;
  height:3vh;
  background-color:#d0d0d0;
  border-radius:4px; /* Modification: (Jan 07, 2023) - added curved edges to non-active buttons */
  border:1px solid #d0d0d0; /* Modification: (Jan 08, 2023) - changed from 2px to 1px */
  padding:5px;
  margin:2px;
}

div.menulink:hover {
  border-color:white;
  background-color:#e4e4e4; /* Modification: (Jan 07, 2023) - lighter color than regular button for cursor hovers */
}

a.menulink {
  text-decoration:none;
  color:black;
}

div.mainbody {
  margin-top:5px;
  width:80%;
  margin-left:auto;
  margin-right:auto;
}

h3 {
  background-color:whitesmoke;
  text-align:left;
  width:100%;
  font-size:120%;
  font-weight:bold;
  margin-top:15px;
  margin-bottom:2px;
  /* Modification: (Jan 07 2023) - Increase vertical padding by 5px, horizontal padding by 1px */
  padding-top:5px;
  padding-bottom:5px;
  padding-left:1px;
  /* End of modification */
}

p {
  margin: 3px 0px 5px 3px;
}

table {
  border-collapse:collapse;
  margin: 3px 0px 5px 3px;
  width:99%; /* Modification: (Jan 07 2023) - Added in order to make up for the lost width by removing the AID column */
}

th {
  background-color:whitesmoke;
  width:auto;
}

tr {
  vertical-align: top;
}

td {
  border:0px solid gray; /* Modification: (Jan 08, 2023) - Border thickness (3px -> 1px) and style (ridge -> solid) */
  padding:5px;		 /* Modification: (Jan 08, 2023) - Changed padding from 3px to 5px */
}

table#t01 {
  width:90%;
  padding:5px;
}

td#t02 {
  border:0px;
  padding:5px;
}

th#t02 {
  text-align: left;
  width:20%;

  padding:5px;
}

td.headcell {
  font-weight:bold;
}

.person {
  position:relative;
  text-align:left;
  margin: 3px 0px 15px 0px;
}

.personcol {
  display:inline-block;
  width: 250px;
}

.personlast {
  display:inline;
}

/*.qbox {
}*/

.respbox {
  width:80%;
  margin-left:10%;
}

.qresp {
  width:100%;
}

.countbox {
  display:block;
  text-align:right;
}

.warning {
  color:red;
}

.button {
  margin-width: 5px;
}

.footer {
  width:100%;
  margin-top:20px;
  border-top:1pt solid black; /* Modification: (Jan 07, 2023) - changed thickness from 2pt to 1pt */
  font-size:10pt;
  font-style:italic;
}

.validate {
  float:right;
}

a.anchor {
  scroll-margin-top: 10vh;
}