li{padding-bottom:1ex;}
body{background:rgb(192, 233, 255);color:black;font-family:'Bitstream Vera Sans','Microsoft Sans Serif',sans-serif;min-width:50em;max-width:70em;}
#headline{font-size:medium;font-weight:bold;vertical-align:top;text-align:center;margin-top:0pt;margin-left:0pt;}
#headline a:link{color:white;background:inherit;}
#headline a:visited{color:white;}
#headline a:hover{color:#c0e9ff;}
#headline a:active{color:#c8e4f8;}
#headline a:focus{color:#c8e4f8;}
#uni_links{font-size:medium;vertical-align:top;text-align:center;margin:0;margin-left:0;padding-top:4pt;}
#deptitle{text-align:left;margin:0.3em;margin-top:-0.1em;padding:0.3em;padding-bottom:0.2em;margin-bottom:-0.2pt;font-size:300%;font-weight:bold;}
#headline{background:rgb(32, 64, 128);color:white;}
#nav{background:#204080;margin:0.1em 0.0em;padding:2pt;}
#nav ul{margin:0;padding:0;list-style-type:none;padding-left:0.1em;text-align:left;}
#nav>ul>li{display:inline;}
#nav  a{text-decoration:none;padding:.2pt 0.5em;margin:5pt;color:#fff;background-color:#204080;}
#nav  a:hover{color:#fff;background-color:#369;}
.title{text-align:left;margin:0.3em 0.3em 0pt 0.3em;padding:0.0em 0.0em;font-size:300%;font-weight:bold;}
.subtitle{font-size:66%;}
.main{font-size:1em;color:black;margin:1em;margin-bottom:0.5em;text-align:justify;}
.list{margin:0.3em 0.1em;margin-bottom:0.3em;padding:0.5em 0.5em;padding-bottom:0.0em;}
img{border:none;}
.llist{padding-top:1em;padding-bottom:0.5em;}
.example{background-color:white;padding-top:1em;padding-left:1em;padding-right:1em;padding-bottom:0.8em;color:black;font-family:monospace;}
.error{margin:2ex;padding-left:1em;border-style:hidden;border-left-style:double;border-color:#f00;color:#aa0505;}
.warning{margin:2ex;padding-left:1em;border-style:hidden;border-left-style:double;border-color:#ffa500;color:#aa0505;}
.doclink{text-decoration:none;color:black;background:transparent;}
a:link{color:#204080;text-decoration:none;}
a:visited{text-decoration:none;}
a:hover{text-decoration:underline;}
table>caption{font-weight:bold;}