body {
       margin:0; padding:0;
       border-top: 10px solid gray;
       font-family: arial, helvetica;
       background:#ffffff;
       }

#header {font-size:100%;
          margin:0; padding:0;
          text-align: right;
          border-bottom: 1px solid gray;
          }
#footer {font-size:100%;
          margin:0; padding:0;
          background:#ffffff;
          }

#main1 {
         margin:0; padding:0;
         }
#main2 {
         margin:0; padding:0;
         }
#left {
        float:left;
        width:150px;
        margin:0; padding:0;
        font-size:100%;

        }
#right {
         float:right;
         width:150px;
         margin:0; padding:0;
         font-size:100%;


         }
#middle {
          margin:0 150px;
          background:#ffffff;
          font-size:100%;
          border-left: 1px solid gray;
          border-right: 1px solid gray;
          }
.column-in {
             margin:0; padding:0.5em 1em;
             }
.cleaner {
           clear:both;
           height:1px;
           font-size:1px;
           border:none;
           margin:0; padding:0;
           background:transparent;
           }

h1,h2,h3,h4 { margin: 0.2em 0;}


h1 { font-size:14pt;
     border-top: 0px solid #b22222;
     background: #ffffff;
     }
p { margin: 0.5em 0 }


.copy { text-align:center; font-size:100% }


img.latex-inline {
                   display: inline;
                   margin: 1px;
                   float: none;
                   position: relative;
                   vertical-align: middle;
                   border-style: none;
                   }

img.latex-display {
                    display: block;
                    margin: 25px;
                    float: none;
                    left: 15%;
                    position: relative;
                    vertical-align: middle;
                    border-style: none;
                    }

pre {
      border: #999 1px dashed;
      padding: 0.5em;
      margin-left: 1em;
      margin-right: 2em;
      white-space: pre;
      background-color: #eee;
      color: black;
      font-size:90%;
      overflow: auto; 
      }
a:link {
         color: #930;
         text-decoration:none;
         font-weight: bold;
         }
a:visited { color: #630;
            font-weight: none;
            text-decoration: none;
            }
a:hover { color: #930;
          text-decoration: line-through;
          }
a img {border-width: 0;}

ul {list-style: square;}


.lastmod {
           font-style: italic;
           padding-right: 2px;
           color: #630;
           background-color: transparent;
           padding-right: 3px;
           } 

.muse-table {
              border: 0px solid #000000; 
              width: 50%; 
              border-collapse: collapse; 
              border-width: thin; 
              padding: 0px; 
              margin: 0px; 
              margin-left:auto; margin-right:auto;} 

hr {
     border: 0;
     border-top: 1px dotted #999;
     }

code  {font-size:90%;
        border: #999 1px dashed;
        background-color: #eeeeee;
        padding: 0.025em;}

table.image { font-size:90%;
              border: 0px solid #999999;
              padding: 1px; }
p.menu-h {font-weight: bold; }
p.menu-l {font-weight: bold; padding: 0px; 
           margin: 0px; }
p.menu-r {font-weight: bold;
           padding: 0px; 
           margin: 0px;  }

img.photo-album {text-align:center;
                  border: #999 0px dashed; 
                  padding: 0px; 
                  margin: 0px; }

p.quoted {
           border-left: 2px solid grey;
           color: #000000;
           padding: 10px;
           font-family: arial, helvetica;
           font-style: italic;
           font-size:90% 
           margin: 5px 20px;
}