body {
  /* font: small Georgia, serif;*/
  font-family: arial, helvetica, sans-serif; 
  font-size: 13px; 
  /* font: 84.5% Georgia, serif; */	
  background: white;
  margin-top: 2%;
  margin-left: 15%;
  margin-right: 15%;
}

a:link img, 
a:visited img {
	border-style: none
}

a img {
	color: white
} /* The only way to hide the border in NS 4.x */


A:link {
  color: blue;
  background-color: transparent;
}

A:visited {
  color: purple;
  background-color: transparent;
}

A:hover {
  color: maroon;
  background-color: transparent;
}



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

p.leftpadded {
	padding-left: 25px;
}

ul.square { 
	list-style-type: square 
}

div.abstract2 { 
   margin: 0pt;
   border: 0pt;
   padding-left: 3em; 
   padding-right: 3em; 
   }

  table.abstract { background-color: #dddddd;
    width: 90%;
    margin: 0em;
    border: 0em;
  }

div.showhide { 
    border-style: none;
    margin: 0em;
    }


div.boxed{
    background: #DDDDDD;
    padding: 0.5em;
    border: none;
    width: 75%;
  }

div.imp{
   background: silver;
}


dt { 
    float: left; 
}

ol.roman {
    list-style-type: upper-roman;
}

td.topleft {
    vertical-align: top;
    text-align: left;
}

td.topright {
    vertical-align: top;
    text-align: left;
}

td.center{
    text-align: center;
}
    
table.fullwidth {
    width: 100%;
}

img.fullwidth {
    width: 100%;
}

img.center {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 75%;
}

img.centercode {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 40%;
}

dl {
  display: grid;
  grid-template-columns: max-content auto;
}

dt {
  grid-column-start: 1;
}

dd {
  grid-column-start: 2;
}

ol.lectures li {
	/* space after lecture list items*/
    margin-bottom: 0.8em;
}