/*
 * CSS for yoshidam.net
 * (c) Copyright 1998-2004 by yoshidam (Yoshida Masato)
 */

html {
  color: #202020;
  background-color: #fff0f8;
}

body {
  font-family: "Optima", "Lucida Sans", "Arial", helvetica, sans-serif;

  color: #202020;
  background-color: #fff0f8;
  margin: 1em;
}

h1 {
  height: 80px;
  text-align: right;
  font-family: cursive;
  font-size: 24px;
  font-weight: bold;
  color: #ffffc0; background-color: #804000;
  padding: 5px;
  border-top: 3pt solid #c08020;
  border-bottom: 3pt solid #400000;
  overflow: hidden;
  -ms-filter: "progid:DXImageTransform.Microsoft.Gradient(GradientType=0,StartColorStr=#402000,EndColorStr=#a05000)";
  filter: progid:DXImageTransform.Microsoft.Gradient(
          GradientType=0,StartColorStr=#402000,EndColorStr=#a05000);
  background-image: -webkit-gradient(linear,left top,left bottom,from(#402000),to(#a05000));
  background-image: -moz-linear-gradient(top, #402000, #a05000);
  border-radius: 5px;
  -moz-border-radius: 5px;
  text-shadow: -2px -2px 3px #201000;
}

h2 {
  height: 1.2em;
  font-family:  times/*, serif*/;
  font-size: 1.7em;
  padding-top: 0.2em;
  padding-left: 0.2em;
  color: #208000;
  background-color: #ffe080;
  border: 1px solid #c0c0c0;
  border-right: 2px solid #404040;
  border-bottom: 2px solid #404040;
  clear: both;
  margin: 0em;
  font-weight: bold;
  -ms-filter: "progid:DXImageTransform.Microsoft.Gradient(GradientType=0,StartColorStr=#ffffc0,EndColorStr=#c08040)";
  filter: progid:DXImageTransform.Microsoft.Gradient(
          GradientType=0,StartColorStr=#ffffc0,EndColorStr=#c08040);
  background-image: -webkit-gradient(linear,left top,left bottom,from(#ffffc0),to(#c08040));
  background-image: -moz-linear-gradient(top, #ffffc0, #c08040);
  border-radius: 5px;
  -moz-border-radius: 5px;
  text-shadow: -1px -1px 2px #c08040;
}

h3 {
  font-family:  times*/, serif*/;
  font-size: 1.3em;
  padding-left: 0.2em;
  color: #404080;
  background-color: transparent;
  border-bottom: 1px solid #404040;
  clear: both;
  font-weight: bold;
}

h4 {
/*  font-family:  times, serif;*/
  font-size: 1.2em;
  padding-left: 0.2em;
  color: #404080;
  background-color: transparent;
  clear: both;
}

table {
    margin-bottom: 0em; margin-right: 2em; border-color: black;
    border-width: 1pt;
    border-style: solid;
    color: black;
    background-color: white;
    margin-top: 1em; margin-left: 2em;
    border-radius: 5px;
}
caption {
    font-weight: bold;
}
tr {
    color: black;
    background-color: #c0c0ff;
}
td {
    border: solid 1px #c0c0ff;
    color: black;
    background-color: #f0f0f0;
    border-radius: 3px;
}
th {
    border-radius: 3px;
}

p {
  margin-bottom: 0.5em; margin-right: 1em; text-indent: 1em;
  margin-top: 0.5em; margin-left: 1em;
}

pre {
  margin-left: 2em;
  border-top: solid 1px black;
  border-left: solid 1px black;
  border-right: solid 2px black;
  border-bottom: solid 2px black;
  padding: 1em; white-space: pre;
  color: black;
  background-color: #f0f0f0;
  overflow: auto;
  border-radius: 5px;
}

pre.code {
  font-family: courier , monospace;
  margin-left: 2em;
  border-top: solid 1px #202020;
  border-left: solid 1px #202020;
  border-right: solid 2px #202020;
  border-bottom: solid 2px #202020;
  padding: 1em; white-space: pre;
  color: black;
  background-color: #f0f0f0;
}


code {
  font-family: courier , monospace;
}

code var {
  font-family: times, serif;
  font-style: italic;
}

em {
  font-weight: bold;
  font-style: italic;
}

dt {
  font-weight: bold;
}

dd {
  padding-bottom: 1em;
}

ul {
  margin-bottom: 0.5em; margin-top: 0.5em; margin-left: 1em;
  list-style-type: square;
  padding-left: 1em;;
}

ol {
  margin-bottom: 0.5em; margin-top: 0.5em; margin-left: 1em;
  list-style-type: decimal;
  padding-left: 1em;;
}

dl {
  margin-bottom: 0.5em; margin-top: 0.5em; margin-left: 1em;
  padding-left: 1em;;
}

li {
 margin-left: 1em;
}

li.obsolete {
 color: #a0a0a0;
 margin-left: 1em;
}

a {
  color: blue;
  background-color: transparent;
}

a:visited {
  color: #c04000;
  background-color: transparent;
}

a:hover {
  color: inherit;
  background-color: #ffffff;
}

hr {
  border-top: none;
  border-left: none;
  border-right: none;
  border-bottom: gray solid 1px;
}

img {
  border: none;
}


div.lmt {
  font-family: "Times New Roman", serif;
/*  font-size: 0.8em;*/
  font-style: italic;
  color: #123456;
  background-color: transparent;
  text-align: right;
}

div.bib {
  text-align: right;
  font-style: oblique;
}

/*
div.section {
    padding: 1em;
    border: solid #804000 2px;
    margin-left: 0em;
    color: black;
    background-color: #f0e0c0;
}
*/
div.subsection {
    margin-top: 0.3em; margin-left: 1em;
}
div.subsection_obsolete {
    margin-top: 0.3em; margin-left: 1em;
    background-color: #c0c0c0;
}
div.rpara {
    margin-bottom: 0em; margin-right: 1em; text-align: right;
    margin-top: 1em; margin-left: 1em;
}
div.index {
    margin-right: 0em; text-align: center; margin-top: 1em;
    border: none; margin-left: 0em;
}