/* local style sheets */

body { line-height: 1.3 }
table { width: 90% }
th, td, .fig { text-align: center }
li.cont { padding-left: 3em }
p.URI { font-size: 80%; }
p.java { vertical-align: top }
object ul li { text-align: left }

@media screen {
/*  div.footer { display: none } */
  div.footer { border-top: medium groove #888; padding-top: 0.5em }
}
@media projection {
  div.cover { text-align: center }
  a { text-decoration: none }
  a:hover { color: #00C; background: #ffa; text-decoration: underline }
  a:active { color: #C00; background: transparent }
}