/* ==================== Body and link colors */
BODY {
  background: white;
  color: black;
}

A:link { color: #0000ff }
A:visited { color: #a669ad }

/* ==================== Boxed Headers */

H1.boxed, H2.boxed { 
  border: 2px solid #000; 
  width: 95%; 
  margin-top: 3em;
  text-align: left; 
  font-weight: bold; 
  padding: 8px;
}

.nonboxed { 
  margin-top: 3em; 
  border-bottom: 2px solid #000;
  page-break-after: avoid;
  padding-bottom: 4px;
}

H3.nonboxed { margin-top: 3em; max-width: 70%; }

H1.boxed { font-size: 180%; background-color: #ef5555; color: #000 }
H2.boxed { font-size: 140%; background-color: #4669ad; color: #fff }

@media print { 
  H1.boxed, H2.boxed { 
    background-color: #fff; 
    border: none;
    border-bottom: 2px solid #000;
    page-break-after: avoid;
    padding: 4px;
  }
  H1.boxed { font-size: 150%; }
  H2.boxed { font-size: 130%; }
}

/* ==================== Miscellaneous stuff */

H1.notopmargin { margin-top: 0 }
H1.nopage {  page-break-before: auto; }

P.changed:before { content: "CHANGED: " }
P.changed { font-weight: bold;  }

DIV.changed { color: red; }
DIV.important { color: red; font-weight: bold; }
SPAN.changed { color: red; }
SPAN.important { color: red; font-weight: bold; }

P.center { text-align: center; }

SPAN.deadline { color: #b22222; font-weight: bold; white-space: nowrap }

TABLE.blue { 
  background: #f0f0ff;
}

TR.blue { 
  background: #f0f0ff;
}

TR.light { 
  background: #f8f8ff;
}

P.author { 
  text-align: center;
  font-weight: bold;
}

TH.underline { border-bottom: 2px solid black; font-weight: bold; text-align: left; }

ADDRESS { font-size: 70% }
P.lastmod { font-size: 70% }
/* ==================== Java syntax highlighting */
CODE { font-family: monospace; white-space: nowrap; color: #4669ad }
H1 CODE { color: black; }
H2 CODE { color: white; }
CODE.listing { white-space: pre; }

SPAN.keyword { color: #000080; font-weight: bold;}
SPAN.javadoc { color: #800080; font-weight: bold;}
SPAN.comment { color: #b22222; font-weight: bold;}
SPAN.string { color: #008000; }

@media print { 
  CODE { font-family: book antiqua, serif; font-weight: bold; color: black; }
  TT { font-family: book antiqua, serif; font-weight: bold; color: black; }
  CODE.listing { font-size: 80%; font-family: monospace; font-weight: normal; }
  SPAN.keyword, SPAN.javadoc, SPAN.comment, SPAN.string { color: black; }
}

/* ==================== IDEA highlighting */
P.idea { color: #808080; font-size: 85%; font-family: sans-serif }

SPAN.menu { color: #46ad69; font-family: monospace; }
SPAN.menu:before { content: "[[" }
SPAN.menu:after { content: "]]" }

@media print { 
  SPAN.menu { font-family: book antiqua, serif; font-weight: bold; }
}

SPAN.template { font-family: monospace; color: #4669ad }


P.note { border: 1px solid black; background: #e0e0e0; width: 90%; padding: 4px; font-family: sans-serif; font-weight: bold; }

/* ==================== Schedule tables */
TR.scheader {
  font-family: sans-serif; 
  /* ==================== font-size: 115%; */
  color: #000; 
  font-weight: bold; 
  background-image: url("blueshade.png");
/*  background: #000080;*/
  border-top: 1px solid black;
  border-bottom: 1px solid black;
}

TR.past { color: #888888; vertical-align: top; }
TR.futu { color: #000000; vertical-align: top; }
A.maplink { text-decoration: none }

/* ==================== News tables */

TR.item1 { background: #e0e0e0; padding: 0.5ex}
TR.item2 { background: #f0f0f0; padding: 0.5ex}
SPAN.newsitem { font-weight: bold; }

/* ==================== Navigation menu boxes */

A.nav { font-weight: bold; font-size: 90%; white-space: nowrap}

TD.boxhead { 
  background: #000080; 
  color: #ffffff;
  font-family: sans-serif;
  text-align: left; 
  vertical-align: top; 
  border-top: 1px solid black; 
  border-left: 1px solid black; 
  border-right: 1px solid black; 
  padding-left: 1.0ex; 
  padding-right: 1.0ex; 
  padding-top: 0.5ex; 
  padding-bottom: 0.5ex; 
  font-weight: bold;
}

TD.linkbox { 
  background: #f0f0ff; 
  color: #000000;
  font-family: sans-serif;
  text-align: left; 
  vertical-align: top; 
  border: 1px solid black; 
  padding: 1.0ex; 
  line-height: 150%;
  margin-bottom: 10px;
}

.newpage { }

TABLE#lab2contents { 
  vertical-align: top;
  background: #f8f8f8;
}
/* ==================== Printing */

@media print { 
  BODY { 
    font-size: 10.5pt;
    font-family: book antiqua, serif;
  }
  CODE { color: #000; font-weight: bold; }
  SPAN.menu { color: #000; }
  A:link { color: #333; }
  A:visited { color: #333; }

  PRE {  font-size: 80%; }

  P, LI, DD { 
    orphans: 2;
    widows: 2;
    max-width: 13cm;
  }
  P.idea { font-family: book antiqua, serif }

  .noprint { visibility: hidden; }
  H1.newpage, H2.newpage, H3.newpage { page-break-before: always; margin-top: 0em; }
  H1.nonboxed, H2.nonboxed, H3.nonboxed { margin-top: 0em; }

  P.note { font-size: 90%; }

  TABLE#lab2contents { 
    width: 17cm;
  }
}