/* ==================================================================== */
/* stylesheet of yamamoto's laboratory                                  */
/*         last modified 2007.11.10                                     */
/* ==================================================================== */

body{
  margin:5px 30px 0px 5px;
  background-color:#ffffbf;
  line-height:120%;
  padding-left:20px;
}


body.frame{
  margin:0px;
  padding:0px;
  background-color:#ffffbf
} 


h1{
  color:#000000;
  font-weight:lighter;
  filter:Shadow(color=gray direction=135);
}


h1 img{
  vertical-align:middle;
  margin-right:8px
}

h2{
  background-color:#51459d;
  color:#ffffff;
  width:97%;
  font-weight:lighter;
  border-top: 1px solid #cccccc;
  border-left: 1px solid #cccccc;
  border-right: 1px solid indigo;
  border-bottom: 1px solid indigo;
  padding:6px 0px 6px 8px
}


h3{
  background-color:#9684f9;
  color:#ffffff;
  width:60%;
  font-weight:lighter;
  border-top: 1px solid #cccccc;
  border-left: 1px solid #cccccc;
  border-right: 1px solid indigo;
  border-bottom: 1px solid indigo;
  padding:5px 6px 3px 10px
}


h4{
  font-weight:lighter;
  color:#000000;
  width:40%;
  border-left:#b8adf7 20px solid;
  border-bottom:#b8adf7 2px solid;
  padding:3px 6px 3px 2px
}


p{line-height:120%;}

pre.emphasize{
  margin-top:10px;margin-left:60px;margin-bottom: 10px;
  padding: 5px 5px 5px 5px;
  width:300px;
  border: 1px;
  background: #bbeeff;
}


pre.source_code{
  margin-top:20px; margin-left:60px;margin-bottom:20px;
  padding: 5px 20px 10px; border: 1px solid; background: #BBEEFF;
  width:600px;font-size:10pt;
}


pre.prog_run{
  margin-top:20px; margin-left:60px;margin-bottom:20px;
  padding: 5px 20px 10px; border: 1px solid; background: #FFCCCC;
  width:600px;font-size:10pt;
}


pre.command{
  margin-top:10px; margin-left:60px;margin-bottom:10px;
  padding: 5px 20px 5px; font-size:12pt;
  font-family:"Osaka", "ＭＳ Ｐゴシック", Arial, sans-serif
}

div.source{
  margin-top:5px;
  margin-left:60px;
  margin-bottom:20px;
  padding: 5px 20px 5px;
  border: 1px solid;
  background: #BBEEFF;
  font-size:10pt;
  height:400px;
  width:600px;
  overflow:auto
}

span.paragraph {color: 	darkred; font-weight:bold; font-style:normal;}
span.comment   {color:#008000; font-weight:normal; font-style:normal;}
span.ditective {color:#ff55aa; font-weight:normal; font-style:normal;}
span.function  {color:#ff5500; font-weight:normal; font-style:normal;}
span.keyword   {color:#0000ff; font-weight:normal; font-style:normal;}
span.string    {color:#aa3333; font-weight:normal; font-style:normal;}
span.linenum   {color:#a0a0a0; font-weight:bold; font-style:normal;}

span.arg   {color:red; font-weight:normal; font-style:normal;}

div.screen {
  BACKGROUND-COLOR:lightcyan;
  WIDTH:500px;
  margin-left:70px;padding-top:5px;padding-left:10px;
  padding-bottom:5px;padding-right:10px
}

table {margin:20pt}
table.head {margin:0pt}
table.headmenu {margin:0pt}
table.side_main {margin:0pt}

table.default {
  margin-top:5px;margin-left:100px;background-color:#cee0ff;font-size:10pt
}

a:link {color:#0000ff;text-decoration:none}
a:visited {color:darkmagenta;text-decoration:none}
a:hover {color:#ff00ff;text-decoration:none}


/* ==================================================================== */
/*         ヘッダー部分のスタイル                                          */ 
/* ==================================================================== */

.head{background-color:#8b7bee;height:60px;width:100%}

.headmenu{
  background-color:#51459d;
  width:100%;
  text-align:right;
  font-size:14px;
  font-family:"Osaka", "ＭＳ Ｐゴシック", Arial, sans-serif;
  color:white
}


.headmenu a{color:white;text-decoration:none}

.headmenu a:visited{color:#ffffff;text-decoration:none}

.headmenu a:hover{color:#ff00ff}


/* ==================================================================== */
/*           サイドバー部のスタイル                                        */
/* ==================================================================== */

.side_main{width:100%;height:100%}


<!-- /* === サイドバー部分のスタイル === */  -->

.side{
  width:100px;
  text-align:left;
  background-color:#7a6ec4;
  vertical-align:top;
  padding:0px;
  border-right: 1px solid indigo;
}


.side div{
  width:100px;
  font-size:14px;
  color:#ffffff;
  border-bottom:solid 1px white;
  padding-top:8px;
  padding-bottom:4px;
  padding-left:6px;
  padding-right:0px;
}


.side a	{color:#ffffff;text-decoration:none}
.side a:visited{color:#ffffff;text-decoration:none}
.side a:hover{color:#ff00ff}

.sidemenu1{
  widht:100px;
  margin-top:0px;
  text-align:left;
  font-size:12px;
  font-family:"Osaka", "ＭＳ Ｐゴシック", Arial, sans-serif;
  border-bottom:solid 1px white
}


/* ==================================================================== */
/*     コンテンツ部分のスタイル                                         */
/* ==================================================================== */

.main{
  width:100%;
  padding-left:10px;
  padding-right:10px;
  padding-top:5px;
  padding-bottom:20px;
  vertical-align:top;
  background-color:#ffffbf;
}


.main p{
  line-height:120%;
  padding-left:30px;
  padding-right:10px;
}


.main h2{
  background-color:#51459d;
  color:#ffffff;
  width:97%;
  font-weight:lighter;
  border-top: 1px solid #cccccc;
  border-left: 1px solid #cccccc;
  border-right: 1px solid indigo;
  border-bottom: 1px solid indigo;
  padding:0px 0px 0px 8px}


.main h3{
  background-color:#9684f9;
  color:#ffffff;
  width:60%;
  font-weight:lighter;
  border-top: 1px solid #cccccc;
  border-left: 1px solid #cccccc;
  border-right: 1px solid indigo;
  border-bottom: 1px solid indigo;
  padding:0px 6px 0px 10px
}


.main h4{
  font-weight:lighter;
  color:#000000;
  width:40%;
  border-left:#b8adf7 20px solid;
  border-bottom:#b8adf7 2px solid;
  padding:0px 6px 0px 2px
}


.main pre.latex_source{
  margin-top:20px;margin-left:60px;margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
}

.main a:link {color:#0000ff;text-decoration:none}
.main a:visited {color:darkmagenta;text-decoration:none}
.main a:hover {color:#ff00ff;text-decoration:none}