/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */

  .main { background-color: rgb(253, 255, 179);
	  max-width: 1000px;
	  margin: 0 auto;
    }

sub, sup { line-height: 0; }

  .paras { 
    line-height: 1.5em;
   }

  #page_text { margin: 0px 90px 60px 50px;
    font-family: Arial,Helvetica,sans-serif;
    }

  #page_nav { list-style-type: none;
    margin-left: 30px;
    padding-bottom: 0px;
    margin-bottom: 0px;
    margin-top: 10px;
    padding-top: 50px;
    width: 900px;
    }

  #page_nav li { display: inline;
    float: left;
    position: relative;
    margin-left: -15px;
    padding-top: 20px;
    text-decoration: none;
    padding-left: 20px;
    padding-right: 20px;
    }

  a { opacity: 1;
    color: rgb(105, 73, 23);
    font-weight: normal;
    text-align: center;
    font-family: Arial,Helvetica,sans-serif;
    text-decoration: none;
    }

  #page_nav a { padding: 0pt 0pt 5px;
    background-image: none;
    background-repeat: repeat;
    background-attachment: scroll;
    background-position: 0% 50%;
    float: left;
    text-decoration: none;
    }

  a:hover { color: rgb(0, 0, 0);
    }

  #title { color: rgb(105, 73, 23);
    font-weight: bold;
    font-family: Courier,monospace;
    line-height: 31px;
    font-size: x-large;
    margin-bottom: 3px;
    }

  hr { padding-right: 0px;
    margin-right: 0px ! important;
    margin-left: 0px ! important;
    margin-top: 30px;
    }

  #header_img { border: 1px solid rgb(0, 0, 0);
    margin-left: 695px;
    min-width: 150px;
    max-width: 150px;
    width: 150px;
    height: 150px;
    margin-top: -120px;
    }

  #abstract { color: rgb(105, 73, 23);
    display: inline-block;
    cursor: pointer;
    }

  #smaller_nav { margin-top: -65px; 
    width: 650px;
    }

  #current_nav { color: rgb(0, 0, 0);
    text-decoration: none ! important;
    font-weight: bold;
    }

#page_text li {
	list-style-type: none;
	margin-top: 1em;
}
.main {
	text-align: left;
}
.menu {
	font-family: Courier, monospace;
	font-weight: bold;
}
h1    {
	font-variant: small-caps;
	text-align: center;
	font-family: Courier, monospace;
	letter-spacing: 1px;
}
h2    {
	text-align: center;
	font-variant: small-caps;
	font-family: Courier, monospace;
	font-stretch: exapanded;
	letter-spacing: 1px;
}
h3    {
	font-family: Courier, monospace;
	letter-spacing: 1px;
}
b {
	font-family: Courier, monospace;
}


  article_tit {  }

  article_links {  }

  dd { text-align: left;
    width: 50%;
    float: left;
    clear: left;
    font-weight: bold;
    }

  dt { text-align: right;
    width: 40%;
    float: left;
    }

  .latexpic { border: 2px solid rgb(0, 0, 0);
    padding: 3px 2px 2px;
    opacity: 1;
    background-color: rgb(255, 255, 255);
    display: inline;
    float: left;
    }

  .pic { padding: 0px 20px 20px;
    display: block;
    float: left;
    }