* {
  margin: 0px;
  padding: 0px;
}

body {
  margin: 20px 0px;
  padding: 0px;
  background: #FFFFFF;
  font-family: Georgia, "Times New Roman", Times, serif;
  font-size: 13px;
  color: #666666;
}

em {
   color: navy;
   font-style: normal;
}

form {
}

form br {
}

input, textarea {
  padding: 5px;
  font: bold 1em Georgia, "Times New Roman", Times, serif;
  color: #333333;
  background: #F9F3DF;
  border-top: 1px solid #CB960F;
  border-right: 1px solid #CCCC99;
  border-bottom: 1px solid #CCCC99;
  border-left: 1px solid #CB960F;
}

h1, h2, h3 {
  margin-top: 1.5em;
}

h1 {
  font-size: 1.6em;
  color: #666;
}

h2 {
  font-size: 1.2em;
}

h3 {
  padding-left: 20px;
  background: #369;
  font-size: 1em;
  color: white;
}

p, ul, ol, dl {
  margin-top: 1.5em;
}

ul, ol {
  margin-left: 3em;
}

blockquote {
  margin-left: 3em;
  margin-right: 3em;
  font-style: italic;
}

a {
  border-bottom: 1px dotted #C9960E;
  text-decoration: none;
}

a:hover {
  border: none;
  color: #B8D03B;
}

#wrapper {
  position: absolute;
  top: 0px;
  left: 0px;
  width:960px;
  margin:0px;
  padding:0px;
}

/* Header */

#header {
  width: 960px;
  height: 50px;
}

#header h1, #logo h2 {
  float:left;
  text-align: center;
  font-size:36px;
  margin: 0px;
}

#header h1 {
  padding: 10px 0px 0px 20px;
}

#howMany {
  position: absolute;
  right: 250px;
}
#crossPoint {
  position: absolute;
  right: 150px;
}

#logo h2 {
  padding: 12px 0px 0px 6px;
}

#logo a {
  border: none;
  text-decoration: none;
  color: #000000;
}

#yuinavi {
    position: absolute;
    top: 60px;
    left: 20px;
    width: 900px;
    height:50px;
}

#menu {
  float: right;
  height: 40px;
  background: url(./images/img03.gif) no-repeat right top;
}

#menu ul {
  margin: 0px;
  padding: 0 10px 0px 0px;
  list-style: none;
}

#menu li {
  float: left;
}

#menu a {
  display: block;
  float: left;
  height: 30px;
  padding: 10px 18px 0 40px;
  background: url(./images/img04.gif) no-repeat;
  border: none;
  text-transform: lowercase;
  text-decoration: none;
  letter-spacing: -2px;
  font-size: 1.2em;
  font-weight: bold;
  color: #000000;
}

#menu a:hover {
  text-decoration: underline;
  color: #C9960E;
}

/* info */

#info {
    display: none;
    position: absolute;
    z-intex:1;
    width: 500px;
    margin:0px;
    padding:10px;
    line-height:150%;
}

#info ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

#info li {
}

#info li ul {
  padding: 15px 20px;
}

#info h2 {
  width:180px;
  height:20px;
  padding:0px;
  padding-left: 20px;
  background: url(./images/h2_bg.gif) no-repeat;
  font-size:12px;
  color: white;
}

#info dt {
    float: left;
    font-weight: bold;
    color: navy;
    padding-right: 1em;
}


/* main */

#main {
   clear:both;
   width: 960px;
   margin: 0px;
   padding: 0px;
}



/* Content */

#content {
    float: left;
    min-width: 850px;
    min-height: 550px;
    height: auto !important;
    height: 550px; 
    padding: 0px;
    margin: 0px 10px 0px 50px;
}

#content ul,ol,dl {
    margin-top: 1em;
    margin-bottom: 1em;
}

#content dt {
    font-weight:bold;
    float: left;
    padding-right: 1em;
}
#content dd {
    padding-left:2em;
}
#content dl { clear: both; }
#content ul li {
    list-style-type:disc;
}

#content ol li {
    list-style-type: decimal;
}


/* message */

#message {
  position: absolute;
  top:50px;
  left:0px;
  width: 100px;
  line-height:150%;
  margin: 0px;
  margin-top:50px;
  font-size: 12px;
}

#message h3 {
    paddig-left:5px;
    width:50px;
    margin-bottom:5px;
}

#message il {
    list-style-type:disc;
}

#message dt {
    margin-top: 5px;
    float:left;
    color:blue;
    padding-right:1em;
    clear:left;
}

#message dd {
    vertical-align:top;
}
/* Footer */

#footer {
  clear: both;
  width: 960px;
  height: 20px;
  background: #666;
  color: white;
}

#footer p {
  margin: 0;
  padding: 15px 20px;
  font-size: smaller;
}

#productsandservices {
    margin: 0px;
    padding:0px;
}


.Column {
  float: left;
  width: 300px;
  padding: 10px;
}
.Column h2 {
  padding-left: 20px;
  background: url(./images/h2_bg.gif) no-repeat;
  font-size:12px;
  color: white;
}

.Column h3 {
  padding-left: 20px;
  background: #369;
  font-size:12px;
  height: 16px;
  margin-bottom:5px;
}

.Column dt {
    margin-top: 5px;
    float:left;
    color:blue;
    padding-right:1em;
    clear:left;
}
.Column dd {
    vertical-align:text-bottom;
}



.example {
  border: 1px solid orange;
  padding: 0.5em;
  margin-top:1em;
}
.key {font-weight: bold; color:blue;}
.rem {color: green; }
.prog {
  margin-left: 2%;
  background:#ffffcc; color: black;
  font-family: "Courier New", Courier. monospace;
  line-height:1.2;
  margin-bottom:0px;}
.prog a { color:black;}
.prog a:hover {background:#ffcc00;text-decoration:underline}
.quote {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left:6%;
  margin-right:5%;
  background:#ffffcc; }

/* Mathematical expression */
.math {line-height:200%;
  font-family: 'Times New Roman',Times,serif;
  font-style: italic;
  position: relative; left: 0;}
.block {border-left: solid 2px orange; }
.m1,.M1 { font-style: normal; font-family: Math1, Mathematica1, Symbol; }
.m2,.M2 {  font-style: normal;font-family: Math2, Mathematica2; }
.m3,.M3 { font-style: normal; font-family: Math3, Mathematica3; }
.m4,.M4 {  font-style: normal;font-family: Math4, Mathematica4; }
.m5,.M5 { font-style: normal;font-family: Math5, Mathematica5; }
.m6,.M6 { font-style: normal;font-family: cmsy10; }
.M1,.M2,.M3,.M4,.M5,.M6 { padding-left:2px; padding-right:2px;}
.example { border: solid 2px orange; padding: 1ex; }
.theorem { border: solid 2px blue; padding: 1ex; }
.remark { border: solid 2px green; padding: 1ex; }
.rm { font-style: normal; }
.mn {
  padding: 0px 1px 0px 1px;
  font-family: 'Times New Roman',Times,serif;
  font-style: normal; }
.op { font-style: normal; font-family: 'Courier New', Courier, mono;
     padding: 0px 2px 0px 2px; font-size:110%;
}

table { border-collapse:collapse; }
td { font-size: 10pt; }
td { padding: 2px;}
table.dmath {line-height:200%; font-style: italic;
  font-family: 'Times New Roman',Times,serif;
  padding
}
td.dmath { padding-left:2em; }
td.eq { font-style: italic; }
td.sup { vertical-align:top; }
td.sub { vertical-align:bottom; }
td.nume { padding-bottom:0; text-align:center; font-style:italic;font-family="Times New Roman,Times,serif"; line-height:150%;}
td.deno { padding-top:0; text-align:center; border-top:1pt solid black; font-style:italic;font-family:"Times New Roman",Times,serif;}
.topBorder { border-top: solid 1px black; }
td.l {
  border-left: solid 1px black;
}
td.r {
  border-right: solid 1px black;
}
td.lr {
  border-left: solid 1px black;
  border-right: solid 1px black;
}
td.ul {
  border-top: solid 1px black;
  border-left: solid 1px black;
}
td.ur {
  border-top: solid 1px black;
  border-right: solid 1px black;
}
td.ulr {
  border-top: solid 1px black;
  border-left: solid 1px black;
  border-right: solid 1px black;
}
td.bulr { border: solid 1px black; }
.large { font-size: 120%; }
.Large { font-size: 140%; }
.LARGE { font-size: 170%; }
.huge  { font-size: 200%; }
.Huge  { font-size: 250%; }
.small { font-size: 90%; }
.footnotesize { font-size: 80%; }
.scriptsize { font-size: 70%; }
.tiny { font-size: 50%; }