/*
 * taken from CSS2 Specification(W3C) sample.html
 *    and changed by Sugiura Iori
 * $Id$
 */

address,
blockquote, 
body, dd, div, 
dl, dt, 
fieldset, form,
h1, h2, h3, h4, 
h5, h6,
object, ol, p, 
ul,
hr, pre         { display: block }
li              { display: list-item }
head            { display: none }
table           { display: table }
tr              { display: table-row }
thead           { display: table-header-group }
tbody           { display: table-row-group }
tfoot           { display: table-footer-group }
col             { display: table-column }
colgroup        { display: table-column-group }
td, th          { display: table-cell }
caption         { display: table-caption }
caption         { text-align: center }
th              { font-weight: bolder; text-align: center }
body            { padding: 8px; line-height: 1.33 }
h1              { font-size: 2em; margin: .67em 0 }
h2              { font-size: 1.5em; margin: .83em 0 }
h3              { font-size: 1.17em; margin: 1em 0 }
h4,
blockquote, ul,
fieldset, form,
ol, dl          { margin: 1.33em 0 }
p               { margin: 0.33em 0; text-indent: 1em; line-height: 1.8em }
h5              { font-size: .83em; line-height: 1.17em; margin: 1.67em 0 }
h6              { font-size: .67em; margin: 2.33em 0 }
h1, h2, h3, h4,
h5, h6, b,
strong          { font-weight: bolder }
h1, h2, h3, h4  { font-style: normal }
h5, h6          { font-style: italic }
blockquote      { margin-left: 2em; margin-right: 2em }
i, cite, em,
var, address    { font-style: italic }
pre, tt, code,
kbd, samp       { font-family: monospace }
pre             { white-space: pre }
big             { font-size: 1.17em }
small, sub, sup { font-size: .83em }
sub             { vertical-align: sub }
sup             { vertical-align: super }
s, strike, del  { text-decoration: line-through }
hr              { border: 1px inset }
ol, ul, dd        { margin-left: 40px }
ol              { list-style-type: decimal }
ol ul, ul ol,
ul ul, ol ol    { margin-top: 0; margin-bottom: 0 }
u, ins          { text-decoration: underline }
center          { text-align: center }
br:before       { content: "\A" }

/* An example of style for HTML 4.0's ABBR/ACRONYM elements */

abbr, acronym   { font-variant: small-caps; letter-spacing: 0.1em }
a[href]         { text-decoration: underline }
:focus          { outline: thin dotted invert }


/* Begin bidirectionality settings (do not change) */
bdo[dir="ltr"]  { direction: ltr; unicode-bidi: bidi-override }
bdo[dir="rtl"]  { direction: rtl; unicode-bidi: bidi-override }

*[dir="ltr"]    { direction: ltr; unicode-bidi: embed }
*[dir="rtl"]    { direction: rtl; unicode-bidi: embed }

/* Elements that are block-level in HTML4 */
address, blockquote, body, dd, div, dl, dt, fieldset, 
form, h1, h2, h3, h4, h5, h6, iframe,
noscript, object, ol, p, ul, center, 
hr, pre, li, table, tr, thead, tbody, tfoot, 
col, colgroup, td, th, caption 
                { unicode-bidi: embed }
/* End bidi settings */


@media print {
  @page         { margin: 10% }
  h1, h2, h3,
  h4, h5, h6    { page-break-after: avoid; page-break-inside: avoid }
  blockquote, 
  pre           { page-break-inside: avoid }
  ul, ol, dl    { page-break-before: avoid }
}

@media aural {
  h1, h2, h3, 
  h4, h5, h6    { voice-family: paul, male; stress: 20; richness: 90 }
  h1            { pitch: x-low; pitch-range: 90 }
  h2            { pitch: x-low; pitch-range: 80 }
  h3            { pitch: low; pitch-range: 70 }
  h4            { pitch: medium; pitch-range: 60 }
  h5            { pitch: medium; pitch-range: 50 }
  h6            { pitch: medium; pitch-range: 40 }
  li, dt, dd    { pitch: medium; richness: 60 }
  dt            { stress: 80 }
  pre, xode, tt { pitch: medium; pitch-range: 0; stress: 0; richness: 80 }
  em            { pitch: medium; pitch-range: 60; stress: 60; richness: 50 }
  strong        { pitch: medium; pitch-range: 60; stress: 90; richness: 90 }
  dfn           { pitch: high; pitch-range: 60; stress: 60 }
  s, strike     { richness: 0 }
  i             { pitch: medium; pitch-range: 60; stress: 60; richness: 50 }
  b             { pitch: medium; pitch-range: 60; stress: 90; richness: 90 }
  u             { richness: 0 }
  a:link        { voice-family: harry, male }
  a:visited     { voice-family: betty, female }
  a:active      { voice-family: betty, female; pitch-range: 80; pitch: x-high }
}

/* --------------------------------------------*/
/* local setting */
body { background-color: #eee; color: black; }
a:link { color: blue; text-decoration: underline; }
a:visited { color: #a0f; text-decoration: underline; }
a:active { color: #088; text-decoration: underline; }
address { border-color: black;
          border-top-width: 5px; border-top-style: ridge;
          border-left-style: none;
          border-right-style: none;
          border-bottom-style: none;
          text-align: right;
          font-style: italic; }
h1 { text-align: center; }
hr { display: /* border-style: */ none; }

.logo { text-align: left; margin: 0; padding: 0; border-style: none; }

.note {
    /* font-weight: bold; */
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    margin-left: 2em;
    margin-right: 3em;
    color: #4c6;
    font-size: smaller
}
div.example { color: maroon }
pre.example { color: maroon }

ul.menu { border-top-style: ridge; border-bottom-style: ridge;
          border-top-width: 5px;   border-bottom-width: 5px;
          padding-top: 0.4em;      padding-bottom: 0.6em;
          margin-left: 5em; margin-right: 8em;  }
.modtime { font-style: normal; }