/* adapted from Frank's course stylesheet at
 * https://www.cs.cmu.edu/~fp/courses/15814-f21/course.css
 * Standard style sheet for courses -fp 
 */

/* Base color: dark purple, base font: sans-serif */
BODY, H1, H2, H3, H4, P, UL, OL, DL, LI, DT, DD, TH, TD,
I, B, EM, STRONG
  { font-family: sans-serif; color: #25122b } /* #25122b } */
A:link { color: #31cdde; font-weight: bold }        /* new link */
A:visited { color: #fc2b9e; font-weight: bold }       /* visited magenta */
A:hover { color: #fc9e2b; font-weight: bold }     /* hover link, orange */
A:active { color: #FF0000; }      /* active, red */
TH { vertical-align: top; padding-left: 0.75em; }
TD { vertical-align: top; padding-left: 0.75em; }
TD.sidebar { background: #000000; } /* sidebar, left */
TD.main { background: #ffffff; }   /* main body, right */
/* next two lines to mark older editions visually */
/* TD.sidebar { background: #B7B7B7; } */ /* sidebar, left */
/* TD.main { background: #E7E7E7; } */ /* main body, right */
TD.small { font-size: small; }     /* small (subnodes) */
TD.submenu { font-size: small; }
TD.right { text-align: right; }
DT { padding: 1ex 0ex; }           /* definition term */
DT:first-child { padding: 0ex 0ex; }           /* first definition term */
DT.first { padding: 0ex 0ex; }                 /* first definition term */
P.bottom { font-size: small; }                 /* navigation bar, bottom */
/* B.here { font-weight: bold; color: black; } */  /* current node, black */
B.here { font-weight: bold; color: #eef8ec; }  /* current node */

/* the following comes from 
 * https://www.williamjbowman.com/teaching/2019/w2/cpsc539b/scribble.css
 */
/* Monospace: */
.maincolumn, .refpara, .refelem, .tocset, .stt, .hspace, .refparaleft, .refelemleft {
  font-family: monospace;
}