body {
font-family:arial,verdana,lucida grande, tahoma,verdana,sans-serif;
font-size: small;
	margin-top:0px;
	margin-bottom:0px;
	padding-bottom:0px;
	background-image: url(bg.gif);
background-repeat: repeat-y;
}
#headers {
	top:0px;
	width: 100%;
	xmargin-left: -10px;
	padding-left: 20px;
	height: 25px;
	background-color: white;
	margin-top: 0px;
	padding-top: 0px;
	xheight: 30px;
	xbackground-image: url(http://www.univertur.pt/images/white.jpg);
	margin-left: 193px;
	z-index: 3;
	position: fixed;
     border-bottom: 1px solid #999;		
     border-bottom: 1px solid DarkSlateGray;		
	
	}

#all {
	xwidth:100%;
	background-color: #fff;
	 padding-left: 5px;
	 padding-left: 5px;
     margin-left: 215px;
	 	xposition: absolute;
		xtop: 0px;
     float: right
     margin-top: 0px;  
	 	padding-left:10px;
	 	padding-right:4px;

     }
#footer {margin-left: 215px; text-align: right;}

#toc hr {padding-top: 0px; padding-bottom: 0px}
#toc hr {margin-top: 5px; margin-bottom: 5px}
#toc li {font-size: 12px;  margin-top: 0px; margin-bottom: 0px}
#toc h1 {padding-top: 0px; margin-top:0px;}
#toc h1 {padding-bottom: 2px; margin-bottom:2px;}
#xcontents {line-height: 10px;}
hr1 {
color: DarkSlateGray ;
background-color: DarkSlateGray ;
height: 1px;
}
#subtle {
	color: #888;
		font-size: x-small;
		xpadding-top: 0px; xmargin-top: 0px;
		font-style: italic;
		text-align: left;
}
#toc xul { margin-left: -5px; }
#toc{
	 	position: absolute;
        top: 0px;
        left: 0px;
	font-size: small;
	width: 218px;
        padding: .0em .0em .0em .0em; 
	
}
.class0 {margin-top: 3px;margin-bottom: 3px; margin-right: 15px;   }
.class1 {margin-top: 3px;margin-bottom: 3px; margin-right: 15px;  }

 #tabs10 ul {
	  font-size: xx-small;
	  font-family: verdana;
	  margin:0;
	  padding: 5px 5px 0 0;
	  list-style:none;
      }
    #tabs10 li {
      display:inline;
      margin:0;
      padding:0;
      }
    #tabs10 a {
      float:left;
      background:url("http://menzies.us/img/tableft10.gif") no-repeat left top;
      margin:0;
      padding:0 0 0 4px;
      text-decoration:none;
      }
    #tabs10 a span {
      float:left;
      display:block;
	  font-weight: bold;
      background:url("http://menzies.us/img/tabright10.gif") no-repeat right top;
      padding:2px 7px 4px 2px;
            xwidth: 45px;

      color:#FFF;
      }
    /* Commented Backslash Hack hides rule from IE5-Mac \*/
    #tabs10 a span {float:none;}
    /* End IE5-Mac hack */
    #tabs9 a:hover span {
      color:#FFF;
      }
    #tabs10 a:hover {
      background-position:0% -42px;
      }
    #tabs10 a:hover span {
      background-position:100% -42px;
      }

pre {
	padding: 1em;
	xpadding-left: 70px;
	margin-right: 20px;
	margin-left: 20px;
	padding-left: -10px;
	border: 1px dashed #2f6fab;
	color: black;
	background-color: #E0E0E0;
		xbackground-image: url(http://www.lisperati.com/lisplogo_flag_64.png);
		xbackground-position: left top; 
		xbackground-repeat: no-repeat;
	line-height: 1.1em;
}

img.boxed {
  padding:4px;
    border:1px solid #446688;
	  }

img.mthumb {
	float: center
	width: 150px;
  margin-right: 5px;
  padding:4px;
    border:1px solid #446688;
	  }

img.lthumb {
	float: left;
	width: 150px;
  margin-right: 5px;
  padding:4px;
    border:1px solid #446688;
	  }

img.rthumb {
	float: right;
	width: 150px;
  margin-right: 5px;
  padding:4px;
    border:1px solid #446688;
	  }

img.mthumb250 {
	float: center
	width: 250px;
  margin-right: 5px;
  padding:4px;
    border:1px solid #446688;
	  }

img.lthumb250 {
	float: left;
	width: 250px;
  margin-right: 5px;
  padding:4px;
    border:1px solid #446688;
	  }

img.rthumb250 {
	float: right;
	width: 250px;
  margin-right: 5px;
  padding:4px;
    border:1px solid #446688;
	  }