body { margin-left: 2%;
    margin-right: 2%;
    }

  code { color: rgb(153, 0, 0);
    }

  h1 { font-family: Arial,Helvetica,sans-serif;
    background-color: blue;
    text-align: center;
    padding-top: 0.6ex;
    padding-bottom: 0.6ex;
    color: yellow;
    }

  h2 { font-family: Arial,Helvetica,sans-serif;
    margin-bottom: 1ex;
    margin-top: 2.5ex;
    }

h3.title
{
    font-size: 125%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

  a { border-style: none none dashed;
    border-bottom: 1px dashed rgb(153, 51, 0);
    text-decoration: none;
    color: rgb(204, 102, 0);
    }

  a:hover { border-bottom-style: solid;
    }

  pre { border-style: solid;
    border-width: 1px;
    padding: 1ex;
    background-color: #eee;
    color: black;
    overflow:auto;
    }

  th { background-color: rgb(224, 220, 230);
    }

  a.img { border: 0px none ;
    }

hr.hr3 {
      border: 1px solid #f00;
      color: #fff;
      background-color: #fff;
      width: 80%;
      height: 10px;
    }

.note
{
    border: black solid 1px;
    background: url(/images/note.png) no-repeat rgb(224,244,255);
    margin: 0.12in 0;
    padding: 0 55px;
}

.tip
{
    border: black solid 1px;
    background: url(/images/tip.png) no-repeat rgb(250,250,200);
    margin: 0.12in 0;
    padding: 0 55px;
}

.warning
{
    border: black solid 1px;
    background: url(/images/warning.png) no-repeat rgb(255,210,210);
    margin: 0.12in 0;
    padding: 0 55px;
}