/* greentea.css:Ver.2.7.0 2014-03-16 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:  60px;
  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: 220px;
  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
}

/* Source Code CSS */
pre.code {
  font-size: 12px;
  /* line-height:1.2em; */
  border:1px solid #aaa;
  background:#f0f0f0;
  padding:0.5em; 
  overflow: auto;
}
pre.code span.tag	{ color: #0000ff;	}
pre.code span.attr 	{ color: #000; 		}
pre.code span.value	{ color: #900; 		}
pre.code span.str 	{ color: #009900; 	}
pre.code span.num 	{ color: #009900; 	}
pre.code span.keyword	{ color: #0000ff; 	}
pre.code span.rem	{ color: #909; 		}
pre.code span.variable	{ color: #500050;	}

pre {
  margin: 10px 20px;
  padding: 10px;
/*  border: 1px solid #c0c0c0;*/
  border: none;
  font-family: monospace;
  font-size: small;
  text-indent: 0px;
  line-height: 120%;
}
hr {
  border-width: 1px 0px 0px 0px; /* 太さ */
  border-style: solid; /* 線種 */
  border-color: #c0c0c0;
  height: 1px; /* 高さ */
  width: 90%
}
.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;
}
.textsf {				/* ゴシック体 */
  font-family: sans-serif;
}
.small {				/* small */
  font-size: small;
}
.large {				/* large */
  font-size: large;
}

/*
 *	数式環境
 */
sub {					/* 下付き */
  font-family: sans-serif;
}					/* 上付き */
sup {
  font-family: sans-serif;
}
.math {					/* 数式 */
  font-family: "century", 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;
}
.greek {				/* ギリシャ語 */
  font-family: "New Athena Unicode", Gentium,
               "Palatino Linotype", "Lucida Grande", Galilee,
               "Arial Unicode MS", sans-serif;
}
.sf {					/* 数学用ゴシック体 */
  font-family: sans-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.gif");
  background-repeat: no-repeat;
  background-position: center top;
  padding: 2px 4px;
  text-align: center;
}
.dddot {				/* \dddot */
  background-image: url("fonts/dddot.gif");
  background-repeat: no-repeat;
  background-position: center top;
  padding: 2px 4px;
  text-align: center;
}
.ddot {					/* \ddot */
  background-image: url("fonts/ddot.gif");
  background-repeat: no-repeat;
  background-position: center top;
  padding: 2px 4px;
  text-align: center;
}
.dot {					/* \dot */
  background-image: url("fonts/dot.gif");
  background-repeat: no-repeat;
  background-position: center top;
  padding: 2px 4px;
  text-align: center;
}
.hat {					/* \hat */
  background-image: url("fonts/hat.gif");
  background-repeat: no-repeat;
  background-position: center top;
  padding: 2px 4px;
  text-align: center;
}
.widehat {				/* \widehat */
  background-image: url("fonts/widehat.gif");
  background-repeat: no-repeat;
  background-position: center top;
  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: sans-serif;
  font-size: small;
  line-height: 80%;
}
.down {					/* 下付き */
  font-family: sans-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%;
}
.graphics {				/* グラフィックス */
  margin: 0 auto;
  position: relative;
  border: 1px solid #c0c0c0;
}
.category {				/* 範疇 */
  display: none;
}

/*
 *	ラテン語環境
 */
.latin {				/* ラテン語環境 */
  margin: 0 20px;
  padding: 0 10px;
/* border: 1px solid #c0c0c0;*/
  border: none;
  background: #ffffff;
}
.l_advb {				/* 副詞 */
  color: rgb(138,43,226);
  font-style: italic;
}
.l_prep {				/* 前置詞 */
  color: rgb(95,158,160);
  font-style: italic;
}
.l_conj {				/* 接続詞 */
  color: rgb(25,25,112);
  font-style: italic;
}
.l_pron {				/* 代名詞 */
  color: rgb(128,128,0);
  font-weight: normal;
}
.l_noun {				/* 名詞 */
  color: rgb(0,100,0);
  font-weight: normal;
}
.l_prpn {				/* 固有名詞 */
  color: rgb(0,100,0);
  font-weight: bold;
}
.l_prpa {				/* 固有形容詞 */
  color: rgb(0,0,255);
  font-weight: bold;
}
.l_adj {				/* 形容詞 */
  color: rgb(0,0,255);
  font-style: italic;
}
.l_numr {				/* 数詞 */
  color: rgb(0,255,255);
  font-style: italic;
}
.l_gerd {				/* 動名詞 */
  color: rgb(184,134,11);
  font-weight: normal;
}
.l_part {				/* 分詞 */
  color: rgb(220,20,60);
  font-style: italic;
}
.l_indc {				/* 直説法 */
  color: rgb(255,0,0);
  font-weight: bold;
}
.l_infv {				/* 不定法 */
  color: rgb(210,105,30);
  font-weight: bold;
}
.l_impr {				/* 命令法 */
  color: rgb(255,165,0);
  font-weight: bold;
}
.l_subj {				/* 接続法 */
  color: rgb(128,0,0);
  font-weight: bold;
}