body { 
      font-family:Lucida Grande, "Lucida Grande" , Verdana, Tahoma, Arial, Helvetica; 
      color:#333333; 
      font-size:12px; 
      text-align:justify; 
      margin:15px;  }
p { 
   margin:0px; 
   margin-top:5px;  }
a img { 
       border:0px;  }
a:link { 
        color:#3399CC; 
        text-decoration:none;  }
a:visited { 
           color:#3399CC; 
           text-decoration:none;  }
a:hover { 
         text-decoration:underline;  }
a:active { 
          color:#3399CC; 
          text-decoration:underline;  }
h1 { 
    color:#333333; 
    margin-top:10px; 
    margin-bottom:20px; 
    font-size:17px;  }
h2 { 
    border-bottom-style:dotted; 
    border-bottom-width:1px; 
    border-bottom-color:#B3B3B3; 
    font-size:15px; 
    margin-top:20px; 
    padding-bottom:5px; 
    margin-bottom:10px; 
    font-weight:bold; 
    color:#333333;  }
.Procedure { 
            border-bottom-style:dotted; 
            border-bottom-width:1px; 
            border-bottom-color:#B3B3B3; 
            font-size:15px; 
            margin-top:20px; 
            padding-bottom:5px; 
            margin-bottom:10px; 
            font-weight:bold; 
            color:#333333;  }
h3 { 
    font-size:13px; 
    margin-top:15px; 
    margin-bottom:10px; 
    font-weight:bold; 
    color:#333333;  }
h4 { 
    font-size:13px; 
    margin-top:15px; 
    margin-bottom:10px; 
    font-weight:bold; 
    color:#333333;  }
h5 { 
    font-size:13px; 
    margin-top:15px; 
    margin-bottom:10px; 
    font-weight:bold; 
    color:#333333;  }
ul { 
    padding-left:25px;  }
ol { 
    padding-left:25px;  }
.ITEM { 
       padding-left:65px;  }
table { 
       font-size:11px;  }
hr { 
    color:#EEEEEE;  }
th { 
    text-align:left;  }
#LispFn { 
         font-weight:bold; 
         color:#000080;  }
LispFn { 
        font-weight:bold; 
        color:#000080;  }
.LispFn { 
         font-weight:bold; 
         color:#000080;  }
.Code { 
       padding:5px; 
       font-family:"Courier New" , Monaco; 
       font-size:12px; 
       color:#333333; 
       background-color:#EFEFEF; 
       margin:0px;  }
P-Code { 
        padding:5px; 
        font-family:"Courier New" , Monaco; 
        font-size:12px; 
        color:#333333; 
        background-color:#EFEFEF; 
        margin:0px;  }
.code p { 
         padding:5px; 
         font-family:"Courier New" , Monaco; 
         font-size:12px; 
         color:#333333; 
         background-color:#EFEFEF; 
         margin:0px;  }
.Code .comment { 
                color:green;  }
.Code .number { 
               color:red;  }
.Code .string { 
               color:gray;  }
.Code .operator { 
                 color:maroon;  }
.Code .bracket { 
                color:purple;  }
.Code .function { 
                 color:#330000;  }
.Code .keyword1 { 
                 color:#cc6600;  }
.Code .keyword2 { 
                 color:blue; 
                 font-weight:bold;  }
.Code .keyword3 { 
                 color:#993300; 
                 font-weight:bold;  }
.Code .constant { 
                 color:red; 
                 font-weight:bold;  }
.Code .builtin { 
                color:#cc0000;  }
.expandtext { 
             font-style:italic; 
             font-weight:normal; 
             color:#ff0000;  }
.glosstext { 
            font-style:italic; 
            font-weight:normal; 
            color:#0000ff;  }
.Caption { 
          font-style:italic; 
          font-size:12px;  }
.Toolname { 
           font-weight:normal; 
           font-style:normal; 
           color:#c80000;  }
.CellHeading { 
              font-weight:bold; 
              font-style:normal;  }
.P-CellHeading { 
                font-weight:bold; 
                font-style:normal;  }
.CellBullet { 
             list-style:inside disc;  }
.P-CellBullet { 
               list-style:inside disc;  }
SPAN.Emphasis { 
               letter-spacing:0.1pt; 
               color:#4b8c2d; 
               font-style:italic;  }
.Filename { 
           color:#333333; 
           font-style:italic;  }
SPAN.Keyin { 
            font-weight:bold; 
            font-style:normal;  }
.Step { 
       list-style:decimal;  }
.P-Step { 
         list-style:decimal;  }
P.Note { 
        font-weight:bold; 
        font-style:normal; 
        x-next-class:Bullet; 
        x-next-type:P; 
        color:#999999;  }
.P-Note { 
         font-weight:bold; 
         font-style:normal; 
         color:#999999;  }
.StepBullet { 
             list-style:disc;  }
.P-StepBullet { 
               margin-left:18px; 
               list-style:disc;  }
.Topics { 
         font-weight:bold; 
         font-style:normal; 
         color:#333333;  }
.P-Topics { 
           font-weight:bold; 
           font-style:normal; 
           color:#333333;  }
.Filename8 { 
            font-style:italic; 
            font-weight:normal; 
            color:#333333;  }
.Name { 
       font-style:italic; 
       font-weight:normal; 
       color:#318518;  }
.compare { 
          width:100%;  }
.compare td { 
             vertical-align:top; 
             width:50%;  }
.red { 
      color:red;  }
.green { 
        color:green;  }
.info { 
       color:#666666; 
       font-size:11px;  }
.tableComp { 
            text-align:center; 
            font-size:11px; 
            margin-top:20px; 
            margin-bottom:20px;  }
.tableComp td { 
               border-bottom-style:dotted; 
               border-bottom-width:1px; 
               border-bottom-color:#B3B3B3; 
               padding:5px;  }
.tableCompFeature { 
                   text-align:left; 
                   width:250px;  }
.tableCompStatus { 
                  width:50px; 
                  text-align:center;  }