/* Phinloda‚ÌStyle Sheet
 * 2000-01-05
 */

BODY {
  background: white;
}

.nosp {
  margin-bottom: 0;
  margin-top: 0;
}

.quote {
  background-color: #FFDFFF;
  border: none; 
  margin: 0.2em;
  margin-bottom: 0;
  padding: 0.2em; 
}

.list {
  background-color: #EFFFEF;
  border: none; 
  margin: 0.2em;
  margin-left: 1em;
  margin-bottom: 0;
  padding: 0.2em; 
}

.li {
  background-color: #FFFFEF;
  border: none; 
  margin: 0.2em;
  margin-left: 2em;
  margin-bottom: 0;
  padding: 0.2em; 
}

DIV.ex H1 {
  font-weight: bold;
  font-size: 200%;
}

DIV.ex H2 {
  font-weight: bold;
  font-size: 160%;
}

DIV.ex H3 {
  font-weight: bold;
  font-size: 140%;
}

DIV.ex H4 {
  font-weight: bold;
  font-size: 120%;
}

strong.deadlink {
  text-decoration: underline line-through;
  font-weight: normal;
  color: blue;
}

    p.bq {
      margin-left: 2em;
      padding: .5em;
    }

    p.bqcenter {
      margin-left: 2em;
      padding: .5em;
      text-align: center;
    }

    pre.code {
      width: 500px;
      margin-left: 2em;
      padding: .5em;
      background-color: #ffe0ff;
      font-size: small;
      overflow: scroll;
<!--
      white-space: pre-wrap,-moz-pre-wrap;
-->
    }

/* end of default.css */