/* -*- coding: utf-8 -*-
 * Style sheet for the HTML 4.0 specification
 * $Id: default.css,v 1.12 1997/12/12 18:46:53 ijacobs Exp $
 */

body {
    background-image: url("/images/weave.jpg"); 
    font-family: "Hiragino Mincho ProN", "Hiragino Mincho ProN W3", 
    "Hiragino Mincho Pro", "Hiragino Mincho Pro W3",
    "Lucida Sans Unicode", Helvetica,
 /* Serif, */
    Sans-Serif, Gothic; font-size: 18px; 
/*  font-family: Gothic, Sans-serif; font-size: 17px;  */
/*  font-family: Sans-serif; font-size: 17px;  */
    line-height: 150%  
}

div.menu {
      font-family: Helvetica, "Hiragino Kaku Gothic ProN", 
      "Hiragino Kaku Gothic Pro", Sans-serif; 
      font-weight: bold; font-size: 16px;  /* width depends on this */
      position: fixed; left: 0em; top: 0em; width: 12em;  /**/
/*    border: solid red;  /**/
      padding-right: 0.5em; padding-left: 0.5em; padding-top: 1.0em;
      -moz-box-sizing: content-box; 
      -webkit-box-sizing: content-box; 
      -ms-box-sizing: content-box; 
      box-sizing: content-box; 
      z-index: auto;
}
div.picture {float: left; margin-right: 1em}

th.menu {font-size: 16px; line-height: 120%; color: white; 
	 text-align: center; background: #70a0c0;
	padding-top: 0.5em}   
td.menu {font-size: 14px; font-weight: bold; line-height: 130%; 
	 padding-left: 1.5em; text-indent: -1em; padding-top: 0.5em;
	 padding-bottom: 0.2em; color: white; background: #aaccee}
tr.menu {background: #70a0c0}
table.menu {background: #3399cc;}
div.counter {text-align: center}
span.new {font-family: Helvetica, Gothic, Sans-serif; 
      font-weight: bold; color: red;
      vertical-align: top; font-variant: normal; font-size: 10px}
div.menu_picture {
    font-size: 14px;
    font-weight: normal;
    text-align: center;
    line-height: 100%;
    padding-right: 0.5em; padding-left: 0.5em; 
}
div.index_picture {
    font-size: 14px;
    font-weight: normal;
    text-align: center;
    line-height: 100%;
    padding-right: 1em; padding-left: 1em; 
}
div.main {
    position: absolute; 
/*    font-size: 18px; */
    left: 12.5em; right: 0; top: 0; 
/*    margin-right: auto; */
/*    border: solid brown; /**/
    padding-left: 1em; 
    padding-right: 1em; 
    padding-top: 1em;
    padding-bottom: 0.5em;
/*    width: auto;
    height: auto; */
    z-index: auto; 
    max-width: 38em; 
    -moz-box-sizing: content-box; 
    -webkit-box-sizing: content-box; 
    -ms-box-sizing: content-box; 
    box-sizing: content-box; 

/*    font-family: "ヒラギノ明朝 Pro W3", Hiragino Mincho ProN W3, 
    Hiragino Mincho Pro, Sans-Serif, Gothic; 
    font-size: 19px; 
    line-height: 140% */
}

/* body {padding-left: 1em; margin-right: 1em; max-width: 38em;
  font-family: , Times, Serif; font-size: 15px; line-height: 140%} */
/* H1 {text-align: center; color: maroon; font-family: helvetica;
  font-size: 20pt;} */
H1 {text-align: center; color: maroon; font-family: Helvetica, Sans-serif;
  font-size: 28pt; font-weight: normal; font-style: normal;} 
H2 {text-align: center; color: maroon; font-style: normal;
  font-weight: normal; font-family: Helvetica, Sans-serif; 
  font-variant: normal; font-size: 24pt; margin-bottom: 0.2em}
H2.sub {text-align: center; color: maroon; 
  font-weight: normal; font-family: Helvetica, Sans-serif; 
  font-size: 18pt; margin-top: 0em}
H2.ja {text-align: center; color: maroon; 
  font-weight: bold; font-family: Helvetica, "Hiragino Mincho Pro", 
  Sans-serif; 
  font-size: 22pt; margin-bottom: 0.2em}
H2.ja_sub {text-align: center; color: maroon; 
  font-weight: semi-bold; font-family: Helvetica, "Hiragino Mincho Pro", 
  Sans-serif; 
  font-size: 18pt; margin-top: 0em}

H3 {color: blue; margin-left: -1em; font-weight: semi-bold; 
  font-family: Helvetica, "Hiragino Mincho Pro", Sans-Serif; 
  margin-bottom: 0.2em} 
H3.center {text-align: center}
H4 {color: blue; font-style: normal; margin-bottom: 0.2em; 
    font-family: Helvetica, Hiragino Kaku Gothic Pro, Sans-Serif, Gothic;
    margin-left: -0.5em;
    font-weight: semi-bold}
img {border-style: none}
div.example {
    width: 100%;
    color: black;
}
div.dtd-example {
    width: 100%;
    color: black;
}
div.navbar {font-size: 14px; font-weight: bold; 
	    font-family: Helvetica, Hiragino Kaku Gothic Pro, 
	    gothic, sans-serif; text-align: right
	   }
div.addendum {font-size: smaller; color: darkgreen; margin-left: 3em;
margin-right: 3em
}
div.rev {margin-right: 2em; text-align: right}
div.toc {margin-right: 3em; margin-left: 3em}
p.revise {color: maroon} 
div.revise {color: maroon; margin-top: 0.25em; margin-bottom: 0.25em} 
pre {
  font-family: fixed, monospace;
  background: #fffff0;
  color: black;
  margin-left: 1em;
  margin-right: 1em;
  font-size: 16px
}
pre.revise {color: maroon}
pre.obsolete {border-color: red;
  color: red
}
pre.code {  
  font-family: monospace;
  color: green
}
code {
  font-family: monospace;
  font-size: 18px
}

pre.small {
  font-family: fixed, monospace;
  background: #fffff0;
  color: black;
  margin-left: 1em;
  margin-right: 1em;
  font-size: 12px
}


div.dtd-fragment {
    width: 100%;
    border: none;
    background-color: #eee;
}
pre.dtd-fragment {
    margin-left: 0;
}
pre.dtd {
    color: black;
    margin-left: 0;
}
div.illegal-example {
    width: 100%;
    color: red;
    border: solid red;
}
div.illegal-example p {
    color: black;
}
div.deprecated-example {
    width: 100%;
    color: red;
    border: solid rgb(255,165,0); /* orange */
}
div.deprecated-example p {
    color: brown; /**/
}
div.note {
    color: green;
    margin-left: 1em;
}
p {margin-top: 0.4em; margin-bottom: 0.4em; }
p.note {
    color: green;
    margin-left: 1em;
}
ul.toc {
    list-style-type: none;
}

a.normref { 
    color : red;
}	

a.informref {
    color : green;
}	

DIV.subtoc {padding: 1em; border: solid thin; margin: 1em;
    background: #ddd}
div.menubar { 
  float: left;
  width: 12em;
}
/*
div.main { 
  float: right;
}

span.menu {font-size: 14px; font-weight: bold; font-family: Gothic, Sans-Serif;}
*/
table.small {align: center; border: outset 2pt; cellpadding: 5
	    boarder-spacing: 5pt}
th.small {background: #40a0a0}
td.small {border: outset 2pt}