/* common settings for all modes and CSS1 browsers */

body { 
  font-family: sans-serif;
  color: black;
  background: white;
}

div.projection { display: none }
div.screen { display: block }

span.line { color: blue }

pre, tt {
  font-weight: bold;
  color: #000066;
}

pre { font-size: large }
pre.small { font-size: large }
tt.small { font-size: medium }
code.small { font-size:medium}
a.url { font-size: medium; font-family: XXX}
a.pep { /* XXX */}

/* settings for normal screen mode */

@media screen {
  body {
    color: black;
    background: white;
    margin: 2em;
  }

  div.projection { display: none }
  div.screen { display: block }
  div.notes { display: block; float:right; border-width:2px }
  
}

/* settings for projection mode */

@media projection {

  body {
    font-size: 1.75em;
    color: black;
    background: white;
    padding-left: 1em;
    padding-right: 1em;
  }

  big {font-size: 1.75em}
  a {font-size: 1em}
  a.url {font-size: 0.90em}
  
  td {
    font-size: 1.75em;
  }

  h1, h2 { 
    page-break-before: always;
    font-size: 1.2em;
    padding-right: 200px;
    margin-top: 0.3em;
    padding-bottom: 0.2em;
    border-bottom: thick solid blue;
  }

  /* h1.lug {background: #cccccc} */

  div.projection { display: block }
  div.screen { display: none }
  div.notes { display: none }
  div.box { background-color: #eeeeee; border: thin solid black; margin-top:0.1em}
}