/* custom styles */

body {  font-size:56px; }
.hc, pre {
  font-size:24px;
  text-align:left;
  font-family:monaco, monospace;
  font-weight:normal;
  white-space:pre;
}
.small{ font-size: 16px;}

code {
  font-size:20px;
  text-align:left;
  font-family:monaco, monospace;
  font-weight:normal;
  white-space:pre;
}

.container { color:#666; }
.sub { font-size:24px; }
.center { text-align:left; }

h1 { font-size:1.4em; color:black;}
h2 { font-size:1.2em; color:black;}
h3 { font-size:1.0em; color:black;}

/* p { font-size:64px; } */
ul, .support { font-size:34px; }
strong { color:#FF1385; }
em {
  color:#12A0FF;
  font-style:normal;
}
span { color:#FF8C00; }
.or { color:#FF8C00; }
.ex { color:#12A0FF; }
.comment {color:#ccc;}
.cy { color:darkcyan;}
ul {list-style:none; }

blockquote { font-family:georgia; font-style:italic; }

div#slides {
  background: url('./Background4.png') no-repeat fixed right bottom ;
}