/* greentea.css:Ver.2.4.5 2011-01-08 by Takeshi Umetani */

body {
  background: rgb(231,244,223);		/* base color */
  color: black;				/* char base color */
  font-family:
    "メイリオ", Meiryo,
    "Lucida Grande", Verdana,
    "ヒラギノ角ゴ Pro W3", "Hiragino Kaku Gothic Pro", Osaka,
    "ＭＳ Ｐゴシック", sans-serif;
  font-size: medium;
  font-weight: normal;
  letter-spacing: 1px;
  margin-top:    0;
  margin-bottom: 0;
  margin-left:   auto;
  margin-right:  auto;
  padding-top:    25px;
  padding-bottom: 0;
  padding-left:   0;
  padding-right:  0;
}
* html body{
  overflow: hidden;
}
#header {
  position: fixed !important;
  position: absolute;
  top: 0;
  left: 0;
  height: 20px;
  width: 100%;
  border: 1px solid #c0c0c0;
  background: rgb(223,241,214);		/* accent color */
  filter: alpha(opacity=80);
  -moz-opacity:0.80;
  opacity:0.80;
}
#wrapper {
  /*width: 935px;*/
  margin: 0 auto;
}
#main {
  width: 700px;
  height: 100%;
  float: right;
  margin-left:  10px;
  margin-right: 10px;
}
#sidebar {
  left: 10px;
  width: 280px;
  float: left;
  position: fixed;
  filter: alpha(opacity=80);
  -moz-opacity:0.80;
  opacity:0.80;
}
.sidebar_contents {
  margin-top: 10px;
  padding: 4px;
  border-style: solid;
  border-width: 1px;
  border-color: #c0c0c0;
  line-height: 120%;
  font-size: 75%;
  background: #ffffff;
}
/* dtree */
.dtree { 
   white-space: nowrap; 
} 
.dtree img { 
   border: 0px; 
   vertical-align: middle; 
} 
.dtree .clip { 
   overflow: hidden; 
} 
/* Links */
a:link, a:visited {
  color: rgb(0,0,192);
  text-decoration: none;
}
a:hover, a:active {
  color: rgb(192,0,0);
  text-decoration: none;
}
a span {
  display: none;
  padding: 2px 3px;
  margin-left: 8px;
  width: 120px;
  font-weight: normal;
  font-size: small;
}

a.term:link, a.term:visited {
  color: black;
}
a.term:hover, a.term:active {
  color: rgb(192,0,0);
}
a.term {
  font-weight: bold;
}

a:hover span.ruby {
  display: inline;
  position: absolute;
  background: #ffffff;
  border: 1px solid #cccccc;
  color: #6c6c6c
}

pre {
  margin: 10px 20px;
  padding: 10px;
/*  border: 1px solid #c0c0c0;*/
  border: none;
  font-family: monospace;
  font-size: small;
  text-indent: 0px;
  line-height: 120%;
}

.abstract {				/* 抄録 */
  margin: 10px 10px;
  font-size: small;
  line-height: 120%;
  text-indent: 1em;
}

.subject {				/* 主題 */
  margin: 10px 10px;
  font-size: small;
  line-height: 120%;
}

.contents {				/* 目次 */
  margin-top: 10px;
  padding: 16px;
  border-style: solid;
  border-width: 1px;
  border-color: #c0c0c0;
  line-height: 120%;
  font-size: 90%;
}
.indent {
  position: relative; left: 20px;
}

.title {				/* 題見出し */
  margin-top: 10px;
  padding: 30px 0;
  border: 1px solid #c0c0c0;
  background: rgb(223,241,214);		/* accent color */
  font-weight: bold;
  font-size: 140%;
  letter-spacing: 2px;
  text-align: center;
}

.chapter {				/* 章見出し */
  margin-top: 10px;
  padding-top: 2px;
  padding-bottom: 1px;
  padding-left: 10px;
  padding-right: 5px;
  border-style: solid;
  border-width: 1px;
  border-color: rgb(117,131,35); /* accent */
  font-weight: bold;
  font-size: 140%;
  letter-spacing: 2px;
}

.section {				/* 節見出し */
  margin-top: 10px;
  padding-top: 2px;
  padding-bottom: 1px;
  padding-left: 10px;
  padding-right: 5px;
  border-style: solid;
  border-width: 1px;
  border-color: rgb(117,131,35); /* accent */
  font-weight: bold;
  font-size: 120%;
  letter-spacing: 2px;
}

.subsection {				/* 小節見出し */
  margin-top: 10px;
  padding-left: 10px;
  border-bottom-style: solid;
  border-width: 1px;
  border-color: rgb(117,131,35); /* accent */
  font-weight: bold;
  font-size: 110%;
  letter-spacing: 2px;
}

.plain {				/* 段落 */
  margin: 5px 0;
  padding: 2px 5px 2px 10px;
}
.plain h4 {				/* 段落：大見出し */
  margin: 0;
  padding: 0;
}
.plain h3 {				/* 段落：小見出し */
  font-size: 110%;
  margin: 0;
  padding: 0;
}
.quote {				/* 引用 */
  font-size: 90%;
  margin: 2% 5%;
  padding: 2px 5px 2px 10px;
}
.footnote {				/* 注記 */
  font-size: small;
}
.note {					/* 索引内解説 */
  font-size: 90%;
  margin: 0 0 0 5%;
  padding: 2px 5px 2px 10px;
}

.description {				/* description環境 */
  margin: 2% 2%;
}

.theorem {				/* 定理環境 */
  border-style: solid;
  border-width: 1px;
  border-color: #c0c0c0;
}

.thmgreen {
  background-color: rgb(210,236,198);
}
.thmblue {
  background-color: rgb(211,227,243);
}
.thmred {
  background-color: rgb(248,234,228);
}
.thmyellow {
  background-color: rgb(244,245,209);
}
.thmskyblue {
  background-color: rgb(221,245,247);
}

.proof {				/* 証明 */
  font-size: 90%;
}

.media {				/* 証明 */
}

.map {					/* 地図 */
}

.program {				/* 算譜 */
}

/*
 *	書体変更
 */
.textbf {				/* ボールド */
  font-weight: bold;
}
.textit {				/* 斜体 */
  font-style: oblique;
}
.textsc {				/* スモールキャップ */
  font-variant: small-caps;
}
.small {				/* small */
  font-size: small;
}
.large {				/* large */
  font-size: large;
}

/*
 *	数式環境
 */
sub {					/* 下付き */
  font-family: "Times New Roman", serif;
}					/* 上付き */
sup {
  font-family: "Times New Roman", serif;
}
.math {					/* 数式 */
  font-family: "Georgia", sans-serif;
  font-size: 110%;
  padding: 0 2px;
  letter-spacing: 0;
}
.math img {
  vertical-align: middle;
}
.lsu {					/* \mathbb用 */
  font-family: "Lucida Sans Unicode", Verdana, sans-serif;
}
.roman {				/* ローマン体 */
  font-family: "Times New Roman", serif;
}
.bm {					/* 数学用ボールド */
  font-weight: bold;
}
.sqrt {					/* \sqrt */
  font-size: 120%;
  line-height: 100%;
  letter-spacing: 0;
}
.ovl {					/* \overline */
  border-top: 1px solid;
  padding: 0 2px;
  text-align: center;
}
.ora {					/* \overrightarrow */
  background-image: url("fonts/overrightarrow.png");
  padding: 2px 4px;
  text-align: center;
}
.dot {					/* \dot */
  background-image: url("fonts/dot.png");
  padding: 2px 4px;
  text-align: center;
}
.udl {					/* \underline */
  border-bottom: 1px solid;
  padding: 0 2px;
  text-align: center;
}
.det {					/* \det */
  border-left:1px solid;
  border-right:1px solid;
  padding: 0 2px;
}
.norm {					/* \norm */
  border-left:3px double;
  border-right:3px double;
  padding: 0 2px;
}
.midbar {				/* 分数線 */
  border-top: 1px solid;
  padding: 0 2px 0 2px;
  text-align: center;
}
.midbar2 {				/* 分数線2 */
  border-top: 1px solid;
  padding: 0 2px 0 2px;
  text-align: center;
}
.bb {					/* 大括弧 */
  font-size: 200%;
  line-height: 120%;
  font-weight: normal;
}
.error {				/* エラー */
  color: red;
  font-weight: bold;
}
.up {					/* 上付き */
  font-family: "Times New Roman", serif;
  font-size: small;
  line-height: 80%;
}
.down {					/* 下付き */
  font-family: "Times New Roman", serif;
  font-size: small;
  line-height: 80%;
}
.sum {					/* \sum型命令 */
  font-size: 140%;
  /* font-weight: bold; */
  line-height: 120%;
}
.mid {					/* \sum型：その他の命令 */
  font-size: 110%;
  /* font-weight: bold; */
  line-height: 100%;
}
.integral {				/* \int型命令 */
  font-size: 200%;
}
.bibliography {				/* 参考文献 */
  line-height: 120%;
  font-size: 90%;
}
.category {				/* 範疇 */
  display: none;
}