/* screen media style sheet for WWW2005 papers */
@media screen {
  body { font-family: sans-serif; margin-left: 4%; margin-right: 2% }
  p { margin-top: 0.3em; margin-bottom: 0.3 }
  p.abstract { font-size: 90%; font-style: italic; text-indent: 0;
       margin-left: 4em; margin-right: 4em }
  p.keywords { font-family: sans-serif }
  h1.title { font-size: 160%; font-family: serif }
  h1.title, h2.author, h2.email, h2.affiliation  { text-align: center }
  h2.author  { font-weight: bold; margin-top: 0.2em; margin-bottom: 0 }
  h2.email, h2.affiliation  {
       font-weight: normal; margin-top: 0; margin-bottom: 0 }
  h1 { font-size: 120% }
  h2 { font-size: 110% }
  h3 { font-size: 100% }
  span.title { font-style: italic }
  span.title:before { content: '"' }
  span.title:after { content: '"' }
  .note { font-style: italic; color: green }
  .issue  { color: maroon; font-style: italic; padding-left: 1em }
  div.example pre { color: green; margin-left: 2em }
  pre.tutorial { color: green; margin-left: 2em }
  caption dfn { font-size: 120% }
  table.propdef { margin-left: 2em; width: 95% }
    dt { margin-top: 1em }
    dd p:first-child { margin-top: 0 }
    ul { margin-bottom: 1em }
    dl { margin-left: 2em }
  dl p { text-indent: 0; margin-bottom: 0.5em }
}