/* --------------------------------------------------------- */
/*                   body and common tags                    */
/* --------------------------------------------------------- */

body {
  margin: 0 50px 30px 50px;      /* margin: auto; */
  max-width: 1024px;             /* width: 100%;  */

  font-family: helvetica, arial, Verdana, sans-serif;
  font-size: 18px;
  color: #333;
  line-height: 1.5;
}

article {
  margin-bottom: 30px;
  overflow: auto;
}

h2 {
  margin-top: 1.2em;
  font-size: 1.6em;
  font-weight: bold;
  color: #486E96;
}

h3 {
  margin-top: 1em;
  font-size: 1.4em;
  font-weight: bold;
  color: #486E96;
}

h4, h5 {
  margin-top: 1em;
  margin-bottom: 0.5em;
  font-weight: bold;
  font-size: 1.2em;
  color: #444;
}

h5 {
  font-size: 1em;
  color: #888;
}

p, table {
  margin-top: 1em;
}

ul, ol, dl {
  margin: 10px 0 10px 35px;
}

ul {
  list-style: circle;
  margin-top: 0;
}

ol {
  list-style: decimal;
}

li.text-item { 
  margin-bottom: 3px;  
}

dt {
  margin-bottom: 10px;
}

dd {
  margin-left: 25px;
  margin-bottom: 20px;
}

a {
  text-decoration: none;
  color: #1E76D4;
}

a:hover {
  color: maroon;
}

.hover-blue a:hover {
  color: #1E76D4;
}

abbr {
  border-bottom: 2px dotted #1E76D4;
}

strong, b {
  font-weight: bold;
}

em {
  font-style: italic;
}

blockquote {
  margin-top: 10px;
  margin-left: 30px;
  color: #777;
  border-left: 5px #f1f1f1 solid;
  padding-left: 10px;
  font-style: italic;
}

/* added 2024/09/16 to improve appearance of links containing code */
q {
  font-style: italic;
  quotes: auto;
}

q::before {
  content: open-quote;
}

q::after {
  content: close-quote;
}

/* promoted to main 2024/10/30 for use in readings as well as sessions */
details {
  margin: 10px 0 0 50px;
}

summary {
  font-style: italic;
  margin-bottom: 10px;
}

/* --------------------------------------------------------------- */

pre, code {
  font-family: monospace;
  font-size: 85%;
  color: navy;
  
  background: #f1f1f1;
  border: 1px solid #ccc;
  border-radius:3px;
  padding: 2px;
}

pre.code {
  padding: 5px 0 5px 10px;
  margin-left: 10px;
}

/* added 2024/01/24 to improve appearance of links containing code */
a > code {
  background: inherit;
  color: inherit;
  border: none;
  padding: 0;
}

/* tables */

table {
  border-left: 1px #ccc solid;
  border-right: 1px #ccc solid;
  margin-top: 25px;
  margin-left: 25px;
}

thead {
  background: #ddd;
  font-weight: bold;
  text-align: center;
}

th, td {
  padding: 6px;
  border: 1px solid #999;
  line-height: 1.5;
  text-align: center;
}


/* --------------------------------------------------------- */
/*                         body nav                          */
/* --------------------------------------------------------- */

body > nav {
  font-family: sans-serif;
  font-size: smaller;
  margin-top: 10px;
  margin-bottom: 0;
  padding-left: 2px;
}

body > nav, body > nav a {
  color: #999;
}

body > nav a:hover {
  color: #1E76D4;
}


/* --------------------------------------------------------- */
/*                       page header                         */
/* --------------------------------------------------------- */

.page-header {
  border-bottom: solid #DDD 5px;
  overflow: auto;
  margin-top: 15px;
  margin-bottom: 20px;
  padding-bottom: 5px;
}

.page-header h1 {
  float: left;
  font-size: 2em;
}

.page-header h1 a {
  color: #444;
}

.page-header h2 {
  float: right;   
  color: #666;
  font-size: 1.5em;
  margin-top: 6px;
}


/* --------------------------------------------------------- */
/*                          footer                           */
/* --------------------------------------------------------- */

footer {
  border-top: solid #ddd 2px;
  padding-top: 4px;
  padding-bottom: 30px;
  font-size: 0.9em;
}

footer a {
  color: #aaa;
}
   
.footer-text {
  float: right;
  color: #aaa;
}

/* --------------------------------------------------------- */
/*           classes for styling multiple elements           */
/* --------------------------------------------------------- */

.center {
  text-align: center;
}

.indent {
  margin-left: 15px;
}

/* for adding a border to images that others disappear into the page */
/* promoted to main style sheet 2024-1102 for use in Reading 11      */
.with-border {
  border: 1px solid lightgray;
  padding: 15px;
}


/* --------------------------------------------------------- */
/*          classes for interacting with the reader          */
/* --------------------------------------------------------- */

/* to set off instructions for an exercise */

.instructions {
  padding: 20px 20px;
  margin: 10px 0;
  background-color: rgb(235, 235, 235);
}

.instructions h3 {
  margin-top: 0px;
}

/* to set off an in-class exercise question */

.exercise-question {
  padding: 20px 20px;
  margin: 10px 0;
  background-color: lightgrey;
}

/*
   to set off meta-notes that appear in the session notes
   added 2024/09/16 as copy-and-modify from blockquote
*/
.meta {
  margin-top: 10px;
  margin-left: 30px;
  color: #777;
  border-left: 5px red solid;
  padding-left: 10px;
  font-style: italic;
}


/* --------------------------------------------------------- */
/*                     @media settings                       */
/* --------------------------------------------------------- */

@media (max-width: 500px) {
  img.img-resp {
    margin: 0 0 0 0;
    float: none;
  }
}