/*
 * Fabian E. Bustamante
 * Northwestern Systems Research Group
 * Department of Computer Science	
 * Northwestern University
 *
 * (C) Copyright 2003, Northwestern University, all rights reserved.
 *
 */

body { background-color: white; 
       color: black; 
       font-family: Helvetica , x-small Verdana, Arial, sans-serif;
       margin-top:20px; 
       margin-bottom: 20px; 
       margin-left: 20px; 
       margin-right:20px;
      }

p { margin-top: 15px; 
    margin-bottom: 15px; 
    margin-left: 15px; 
    margin-right: 15px;
   }

table { width: 100%;
	border: 0px solid;
        border-color: black;
	padding: 0px;
      }

td { border: #FF0000 solid 0px; }

table.small { width : 70%;
              border: 1px;
              border-style: solid;
              border-color: black;
              border-collapse: collapse;
}  

table.small th { border: black solid 1px; }

table.small td { border: black solid 1px; }

tr { border: #0000FF solid 0px; }

ul { margin-left: 15px; 
     margin-right: 15px;
     margin-top: -5px; 
     margin-bottom: 0px; 
     padding-left:15px;
     list-style-type: disc;
   }  

li { margin-top: 0px;
     margin-bottom: 5px;
   }

hr {}

address { font-family: Helvetica, x-small Verdana, Arial, sans-serif;
          font-style: normal;
          margin-top: -10px;
          margin-left: 25px; 	
          foreground-color=#333333; 
          background-color= transparent; }

div.ribbonwide { font-size: small;
                 font-weight: bold;
                 text-align: center;
                 width: 100%;	
               }	

div.ribbon { margin-left: auto; 
             margin-right: auto;
           }

div.copyright {font-family: Helvetica, x-small Verdana, Arial, sans-serif;
               font-size: xx-small;
	       text-align: left;
	       color: #000000;}

a:link, a:visited, a:active {
        margin: 0 1px;
        padding: 0 1px;
        color = #333366; 
        background-color: transparent;
        text-decoration: none;
	border: #FFFFFF solid 0px;
        }       

a:hover {
        color = #333366;
        padding: 0 1px;
        background-color: #e0e0e0; 
        }       

small, big, h1, h2, h3, h4, h5, h6 {font-family: Helvetica, x-small Verdana, Arial, sans-serif; 
                                    background-color: transparent;}

small {
 font-size: smaller;
 }
big {
 font-size: larger;
 }
h1 {
 font-size: xx-large;
 }
h2 {
 font-size: x-large;
 }
h3 {
 font-size: large;
 }
h4 {
 font-size: medium;
 }
h5 {
 font-size: small;
 }
h6 {
 font-size: xx-small;
 }
font[size=1] {
 font-size: xx-small;
 }
font[size=2] {
 font-size: small;
 }
font[size=3] {
 font-size: medium;
 }
font[size=4] {
 font-size: large;
 }
font[size=5] {
 font-size: x-large;
 }
font[size=6] {
 font-size: xx-large;
 }
font[size=7] {
 font-size: 300%;
 }
font[size=-1] {
 font-size: smaller;
 }
font[size=+1] {
 font-size: larger;
 }
font[size=-2] {
 font-size: 60%;
 }
font[size=+2] {
 font-size: 150%;
 }
font[size=+4] {
 font-size: 300%;
 }

.reversedbar { font-family: Helvetica, x-small Verdana, Arial, sans-serif;
     	       font-weight: bold;
	       background-color: #e0e0e0;
               margin-top: 15px; 	
               margin-bottom: 15px; 
	       width: 100%;
	       padding: 4px;
             }

.pubs {  font-family: "New York";
         font-variant: small-caps;
      }

