/* ==================================================================== */
/* stylesheet of yamamoto's laboratory                                  */
/*         last modified 2013.11.16                                     */
/* ==================================================================== */
body{
  margin:5px 30px 0px 5px;
  background-color:#ffffbf;
  padding-left:20px;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:100%;
  line-height:150%;
  counter-reset: fig table list sec sec_h2 subsec subsec_h3 appendix appendix_h2 appendix_sub appendix_sub_h2 ref_num update_his;
}


body.frame{
  margin:0px;
  padding:0px;
  background-color:#ffffbf;
  font-size:100%;
  line-height:150%;
}

table.side_main{
    margin:0pt;
    width:100%;
    height:100%;
    border-collapse:collapse;
}

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}


image {
    border-style:none;
}

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


/* ==================================================================== */
/*          全体に関わる設定                                            */ 
/* ==================================================================== */

/*-------------------------------------- */
/* 文字装飾                               */
/*-------------------------------------- */

span.key{
    color:#000000;
    padding-left:3px;
    padding-right:3px;
    margin-left:3px;
    margin-right:3px;
    border:1px solid #a0a0a0;
    border-radius:3px;
    font-size:90%
}

span.emph{
    color:red;
}

span.it{
    font-style:italic;
}

span.file{
    color:green;
    font-style:italic;
}


/*-------------------------------------- */
/* 数学                                  */
/*-------------------------------------- */

span.math{
    font-style:italic;
}

span.math:after{
    content:"\2009";
}

span.sub{
    vertical-align:sub;
    font-size:80%;
}

span.super{
    vertical-align:super;
    font-size:80%;
}

/* ==================================================================== */
/*         ヘッダー部分のスタイル                                          */ 
/* ==================================================================== */
div.head{
    background-color:#8b7bee;
    height:80px;
    width:100%
}

div#navigation{
    float:left;
    width:100%;
    margin:0;
    border:solid indigo;
    border-width:0px 0px 1px;
    background-color:#51459d;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
}

div#navigation ul{
    margin-top:0;
    padding:0 0 0 150px;
    font-size:90%;
    list-style:none;
    letter-spacing:10px;
    text-transform:lowercase;
    color:#ffffff;
}

div#navigation li{
    float:left;
    margin:0;
    padding:0px 10px;
    border:solid #ffffff;
    border-width:0px 0px 0px 1px;
    line-height:25px;
    text-indent:0;
    text-decoration:none;
    white-space:nowrap;
    letter-spacing:normal;
}

div#navigation a{
    display:block;
    color:#ffffff;
}

div#navigation a:hover{
    display:block;
    color:#ff00ff;
}


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

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

table.side_main td.side div{
  width:128px;
  color:#ffffff;
  border-bottom:solid 1px white;
  padding-top:4px;
  padding-bottom:4px;
  padding-left:6px;
  padding-right:0px;
  font-size:85%;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
}

table.side_main td.side div.adsense{
  width:125px;
  margin-top:50px;
  margin-left:1px;
  margin-right:1px;
  margin-bottom:10px;
  border-bottom:solid 0px #7a6ec4;
}

table.side_main td.side div.on{
  color:#ff88ff;
}

table.side_main td.side div.off{
  color:#ffffff;
}

table.side_main td.side div.parent{
  color:lime;
}

table.side_main td.side div.blank{
}

table.side_main td.side div.child{
}

table.side_main td.side div.child:before{
    content:"\2002\2002";
}


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


/* ==================================================================== */
/*     コンテンツ部分のスタイル                                         */
/* ==================================================================== */
a[class^="tooltip_"]{
   color:blue;
 }

a[id^="tooltip_"]{
   color:blue;
 }


/*----------------------------------------------------------------------- */
/* page top (ページ上部のスタイル)                                         */
/*----------------------------------------------------------------------- */
div.page_top{

}

/*----------------------------------------------------------------------- */
/* page top (サイドバーのスタイル)                                         */
/*----------------------------------------------------------------------- */
body table.side_main td.main{
  width:100%;
  padding-left:10px;
  padding-right:10px;
  padding-top:5px;
  padding-bottom:20px;
  vertical-align:top;
  background-color:#ffffbf;
  font-size:100%;
  line-height:150%;
}


body table.side_main td.main p{
    padding-left:30px;
    padding-right:10px;
}

body table.side_main td.main li{
    margin-top:5px;
    margin-bottom:5px;
}

body table.side_main td.main blockquote{
    margin:7px 20px 7px 100px;
}


body table.side_main td.main .depth_1{
    margin:5px 50px 20px 35px;
}

body table.side_main td.main .depth_2{
    margin:2px 50px 20px 20px;
}

body table.side_main td.main a:link{
    color:#0000ff;text-decoration:none;
}

body table.side_main td.main a:visited{
    color:darkmagenta;text-decoration:none;
}

body table.side_main td.main a:hover{
    color:#ff00ff;text-decoration:none;
}


/*---------------------------------------- */
/* path (パスのスタイル)                    */
/*---------------------------------------- */
div.page_top div.path{
    position:relative;
    margin-top:0px;
    margin-left:0px;
    text-align:left;
    font-size:80%;
}

div.page_top div.path span.parent{
}

div.page_top div.path span.parent:after{
    content:"\2002>\2002";
}

div.page_top div.path span.self{
}

/*---------------------------------------- */
/* title (タイトルのスタイル)               */
/*---------------------------------------- */
h1{
    color:black;
    margin-top:20px;
    margin-bottom:40px;
}

div.page_top h1.title{
    margin-top:10px;
    margin-bottom:20px;
    color:black;
}

div.page_top h1.title span.category{
    color:limegreen;
    margin-right:20px;
}

div.page_top h1.title span.subtitle{
    color:darkgreen;
    font-size:70%;
    padding-top:20px;
    padding-left:40px;
}

div.page_top h1.title span.subtitle:before{
    content: "\A\A \2002\2002\2002 \2014 \2002";
    white-space: pre;
}

div.page_top h1.title span.subtitle:after{
    content: "\2002 \2014";
}


/*---------------------------------------- */
/* about (概要のスタイル)                   */
/*---------------------------------------- */
div.page_top p.about{
    color:black;
    margin-top:0px;
    margin-left:0px;
    text-align:left;
}

/*--------------------------------------- */
/* table of contents (目次のスタイル)      */
/*--------------------------------------- */
/* --- 「目次」の表示 -----------*/
div.page_top h2.table_of_contents{
    border-style:none;
    background-color:#ffffbf;
    color:#000000;
    font-weight:400;
}


/* --- section(目次のメイン) -------- */
div.page_top ul.table_of_contents{
    margin:0px 50px 0px 0px;
    list-style:none;
    line-height:120%;
}

div.page_top ul.table_of_contents li{
    counter-increment:sec;
}

ul.table_of_contents li:before{
    content:counter(sec) "\2002";
}

/* --- subsection(目次のサブ) -------- */
div.page_top ul.table_of_contents ul{
    padding:0px 0px 5px 20px;
    list-style:none;
    counter-reset:subsec;
}

div.page_top ul.table_of_contents ul li{
    counter-increment:subsec;
}

div.page_top ul.table_of_contents ul li:before{
    content:counter(sec) "." counter(subsec) "\2002";
}

/* --- 目次が二列の場合 -----------------------------*/
/* --- section(目次のメイン) -------- */
div.page_top ul.table_of_contents2{
    margin:0px 50px 0px 0px;
    list-style:none;
    line-height:120%;
    float:left;
}

div.page_top ul.table_of_contents2 li{
    counter-increment:sec;
}

ul.table_of_contents2 li:before{
    content:counter(sec) "\2002";
}

/* --- subsection(目次のサブ) -------- */
div.page_top ul.table_of_contents2 ul{
    padding:0px 0px 5px 20px;
    list-style:none;
    counter-reset: subsec;
}

div.page_top ul.table_of_contents2 ul li{
    counter-increment:subsec;
}

div.page_top ul.table_of_contents2 ul li:before{
    content:counter(sec) "." counter(subsec) "\2002";
}


/*---------------------------------------- */
/* toppage (トップページのスタイル)         */
/*---------------------------------------- */

/* --- whats new page 番号 -------- */

div.whats_new_page{
    padding-left:50px;
}

div.whats_new_page span.this{
    color:#000000;
    font-weight:bold;
    background-color:#ffffef;
    border-style:solid;
    border-width:1px;
    padding:3px 5px 3px 5px;
    border-color:#BBBBBB
}

div.whats_new_page span.others{
    color:#0000ff;
    border-style:solid;
    border-width:1px;
    padding:3px 5px 3px 5px;
    border-color:#BBBBBB;
}

div.whats_new_page span.others:hover{
    color:#ffffff;
    background-color:#4169e1;
    border-style:solid;
    border-width:1px;
    padding:3px 5px 3px 5px;
    border-color:#BBBBBB;
}

div.whats_new_page span.fade_out{
    color:#bbbbbb;
    border-style:solid;
    border-width:1px;
    padding:3px 5px 3px 5px;
    border-color:#BBBBBB;
}

div.whats_new_page span.hellip{
    color:#0000ff;
    font-weight:bold;
    padding:3px 5px 3px 5px;
}

/*----------------------------------------------------------------------- */
/* section subsection (章立てのスタイル)                                   */
/*----------------------------------------------------------------------- */

/* ------------------------ */
/*      h2                  */
/* ------------------------ */

h2{
  background-color:#51459d;
  color:#ffffff;
  width:97%;
  border-top:    1px solid #cccccc;
  border-left:   1px solid #cccccc;
  border-right:  1px solid indigo;
  border-bottom: 1px solid indigo;
  padding:3px 0px 2px 8px;
  margin:0px 20px 10px 0px;
  font-weight:lighter;
  font-size:110%;
  line-height: 120%;
}


/* -- 通常本文 ------*/

h2.body{
    margin:50px 20px 10px 0px;
    counter-increment:sec_h2;
    counter-reset: subsec_h3 0;
}

h2.body:first-of-type{
    margin:0px 20px 10px 0px;
}

h2.body:before{
    content:counter(sec_h2) "\2002";
}

h2.body.nonumber:before{
    content:""
}


/* -- 付録 ------*/

h2.body_appendix{
    margin:50px 20px 10px 0px;
    counter-increment:appendix_h2;
    counter-reset:appendix_sub_h3 0;
}


h2.body_appendix:first-of-type{
    counter-reset: appendix_h2 0;
}


h2.body_appendix:before{
    content:"付録\0A" counter(appendix_h2, upper-latin) "\2002";
}

h2.body_appendix.nonumber:before{
    content:""
}

/* -- ページ作成情報 ---*/

h2.body_info:before{
}

/* ------------------------ */
/*      h3                  */
/* ------------------------ */

h3{
  background-color:#9684f9;
  color:#ffffff;
  width:80%;
  font-weight:lighter;
  border-top: 1px solid #cccccc;
  border-left: 1px solid #cccccc;
  border-right: 1px solid indigo;
  border-bottom: 1px solid indigo;
  padding:2px 6px 2px 10px;
  font-size:110%;
  line-height: 110%;
}

/* -- 通常本文 ------*/

h3.body{
  counter-increment:subsec_h3;
}

h3.body:before{
    content:counter(sec_h2) "." counter(subsec_h3) "\2002";
}

h3.body.nonumber:before{
    content:""
}

/* -- 付録 ------*/

h3.body_appendix{
  counter-increment:appendix_sub_h3;
}

h3.body_appendix:before{
    content:counter(appendix_h2, upper-latin) "." counter(appendix_sub_h3) "\2002";
}

h3.body_appendix.nonumber:before{
    content:""
}

/* -- ページ作成情報 ---*/

h3.body_info:before{
}

/* ------------------------ */
/*      h4                  */
/* ------------------------ */

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

/* ------------------------ */
/*      h5                  */
/* ------------------------ */

h5{
  width:100px;
  font-weight:lighter;
  font-size:90%;
  color:#000000;
  border-top: solid 1px #b8adf7;
  border-right: solid 1px indigo;
  border-bottom: solid 1px indigo;
  border-left: solid 1px #b8adf7;
  padding: 0px 0px 0px 5px;
  margin-left:20px;
  margin-top:0px;
  margin-bottom:0px;
}


/* ------------------------ */
/*   枠付きタイトル          */
/* ------------------------ */

div.box_title{
    margin-top:20px;
}

div.box_title span{
    margin:10px 0px 5px 40px;
    padding:0px 10px 0px 10px;
    background-color:mediumpurple;
    color:white;
}


/* ====================================================================== */
/*   Layout                                                               */
/* ====================================================================== */

/* ---------------------------------------------------------------------- */
/* float                                                                  */
/*        align <div> holizontaly frm                                     */
/*        https://www.halawata.net/2011/10/css-float-display-box/         */
/* ---------------------------------------------------------------------- */


div.boxContainer{
    overflow:hidden;
}

/* --- clearfix --- */
div.boxContainer:before{
    content:"";
    display:table;
}

div.boxContainer:after{
    content:"";
    display:table;
    clear:both;
}

div.lbox {
    float: left;
}

div.rbox {
    float: right;
}


/* ----------------------------------------------------------------------- */
/* Frexbox                                                                 */
/* ----------------------------------------------------------------------- */

/* 水平方向 */
div.flex_align_h{
    display: flex;
    flex-direction: row;
    flex-wrap:wrap; 
    align-items:flex-end;
}

div.flex_align_h div{
  margin-left: 5px;
  margin-right: 5px;
}

/* 垂直方向 */
div.flex_align_v{
    display: flex;
    flex-direction: column;
}

div.center{
    align-items: center;
}

div.flex_align_v div{
  margin-top:    5px;
  margin-bottom: 5px;
  margin-left:   5px;
  margin-right:  5px
}

/* 垂直方向 */
div.flex_align_fig_cap{
    display: flex;
    flex-direction: column;
    margin-bottom: 30px;
}

/* --------------------------- */
/* <ul> を使ったレイアウト      */
/* --------------------------- */
ul.frex_lrrrr{
    display: -webkit-flex;
    display: flex;
    list-style: none;
    margin-left: 0px;
    padding-left: 0px;
    justify-content:flex-end;
}

ul.frex_lrrrr li:first-child{
   margin-right: auto;
}

/* ====================================================================== */
/*      paragraph                                                         */
/* ====================================================================== */

/*----- タイトル class='title' ----- */
p span.title{
    color:darkgreen;
    font-weight:bold;
    font-style:normal;
}

p span.title:after{
    content:"\2002";
}

/*----- タイトル class='p_title' ----- */
p span.p_title{
  background-color:#d6c4f9;
  color:#000000;
  width:80%;
  font-weight:lighter;
  border-top: 1px solid #cccccc;
  border-left: 1px solid #cccccc;
  border-right: 1px solid #9684f9;
  border-bottom: 1px solid #9684f9;
  padding:2px 2px 2px 2px;
  margin-right: 8px;
  font-size:90%;
}

/*----------------------------------------------------------------------- */
/*      強調文字列                                                        */
/*----------------------------------------------------------------------- */

p span.file,ul li span.file,ol li span.file{
    color:crimson;
    font-style:normal;
}

p span.path,ul li span.path,ol li span.path{
    color:crimson;
    font-style:normal;
}

p span.command,ul li span.command,ol li span.command{
    color:darkmagenta;
    font-size:100%;
    font-style:normal;
}

p span.option,ul li span.option,ol li span.option{
    color:mediumvioletred;
    font-size:100%;
    font-style:normal;
}

p span.argument,ul li span.argument,ol li span.argument{
    color:blueviolet;
    font-size:100%;
    font-style:normal;
}

p span.emphasis,ul li span.emphasis,ol li span.emphasis{
    color:red;
    font-size:100%;
    font-style:italic;
}

p span.emph,ul li span.emph,ol li span.emph{
    color:red;
    font-size:100%;
    font-style:italic;
}

p span.it,ul li span.it,ol li span.it{
    font-style:italic;
}

p span.menu,ul li span.menu,ol li span.menu{
    color:DarkGreen;
    font-size:100%;
    font-style:normal;
}

p span.button, ul li span.button, ol li span.button{
    color:#000071;
    background:#ffff8f;
    padding-left:5px;
    padding-right:5px;
    margin-left:5px;
    margin-right:5px;
    border:1px solid #a0a0a0;
    border-radius:3px;
    font-size:95%
}

p span.link, ul li span.link, ol li span.link{
    color:#000088;
    margin-left:5px;
    margin-right:5px;
}

p span.link.ul, ul li span.link.ul, ol li span.link.ul{
    text-decoration: underline;
}


/*----------------------------------------------------------------------- */
/* list (リストのスタイル)                                                 */
/*----------------------------------------------------------------------- */

/* --- リスト中のタイトル(普通は先頭) ---------- */
li span.title{
    color:darkgreen;
    font-weight:bold;
    font-style:normal;
}

li span.title:after{
    content:"\2002";
}

li span.file{
    color:crimson;
    font-style:normal;
}

/* -------------- 数字付きリスト --------------------------------------- */
ol.enumerate{
    list-style-type:decimal;
    margin:5px 50px 20px 35px;
}

ol.enumerate ol{
    list-style-type:lower-roman;
    margin:5px 50px 20px 0px;
}


ol.enumerate ol ol{
    list-style-type:lower-alpha;
}

ol.enumerate ul{
    list-style-type:square;
}

ol.enumerate ol ul{
    list-style-type:square;
}

ol.enumerate ul ul{
    list-style-type:disc;
}

/* -------------- 括弧付きリスト --------------------------------------- */

/* --- 丸括弧 (1) -------------- */
ol.parentheses{
  list-style-type: none;
  margin:5px 50px 20px 45px;
}

ol.parentheses li{
  counter-increment: cnt;
}

ol.parentheses li:before{
  content: "(" counter(cnt) ") ";
  display:inline-block;
  margin-left:-33px;
  width: 33px;
}

/* --- 角括弧 [1] -------------- */
ol.brackets{
  list-style-type: none;
  margin:5px 50px 20px 45px;
}

ol.brackets li{
  counter-increment: cnt;
}

ol.brackets li:before {
  content: "[" counter(cnt) "]";
  display:inline-block;
  margin-left:-33px;
  width: 33px;
}

/* --- 波括弧 {1} -------------- */
ol.braces{
  list-style-type: none;
  margin:5px 50px 20px 45px;
}

ol.braces li{
  counter-increment: cnt;
}

ol.braces li:before {
  content: "\007B" counter(cnt) "\007D";
  display:inline-block;
  margin-left:-33px;
  width: 33px;
}

/* --- 山括弧 <1> -------------- */
ol.angles{
  list-style-type: none;
  margin:5px 50px 20px 45px;
}

ol.angles li{
  counter-increment: cnt;
}

ol.angles li:before {
  content: "\003C" counter(cnt) "\003E";
  display:inline-block;
  margin-left:-43px;
  width: 43px;
}


/* --- 記号付きリスト -------------- */
ul.itemize{
    list-style-type:square;
    margin:5px 50px 20px 35px;
}

ul.itemize ul{
    list-style-type:disc;
    margin:5px 50px 20px -20px;
}

/* --- 定義付きリスト -------------- */
td.main dl.diff{
    margin:5px 50px 20px 55px;
}

td.main dl dt{
}

td.main dl dd{
    margin-bottom:10px;
}

/*----------------------------------------------------------------------- */
/* コマンド説明用                                                          */
/*----------------------------------------------------------------------- */

/* --- リストを使ったコマンド説明(リストの先頭にコマンド) --------- */
ul.command{
    list-style-type:square;
    margin:5px 50px 20px 35px;
}

ul.command ul{
    list-style-type:disc;
    margin:5px 50px 20px -20px;
}


ul.command li span.name{
    color:crimson;
}

ul.command li span.arg{
    color:#004000;
}

ul.command li span.description{
    color:black;
}

ul.command li span.description:before{
    content:"\2002\2002";
}

/* --- コマンドの説明用のリスト -------------- */
dl.discription_of_command{
    margin:5px 50px 20px 55px;
}

dl.discription_of_command dt{
    font-weight:bold;
}

dl.discription_of_command span.description{
    color:black;
    font-weight:normal;
    font-style:italic;
    margin-left:5px;
    margin-right:35px;
}

dl.discription_of_command span.description:before{
    color:black;
    content:": ";
}

dl.discription_of_command span.arg{
    color:crimson;
    font-weight:normal;
    font-style:italic;
    margin-left:10px;
}

dl.discription_of_command dd span.arg{
    color:crimson;
    font-weight:normal;
    font-style:italic;
    margin-left:0px;
}

dl.discription_of_command span.arg2{
    color:darkgreen;
    font-weight:normal;
    font-style:italic;
    margin-left:10px;
}

dl.discription_of_command dd span.arg2{
    color:darkgreen;
    font-weight:normal;
    font-style:italic;
    margin-left:0px;
}

dl.discription_of_command span.op{
    color:fuchsia;
    font-weight:normal;
    font-style:italic;
    margin-left:10px;
}

dl.discription_of_command dd span.op{
    color:fuchsia;
    font-weight:normal;
    font-style:italic;
    margin-left:0px;
}

dl.discription_of_command span.key{
    color:black;
    font-weight:normal;
    font-style:normal;
    padding-left:5px;
    padding-right:5px;
    margin-left:5px;
    margin-right:5px;
    border:1px solid #a0a0a0;
    border-radius:3px;
    font-size:95%
}

dl.discription_of_command span.default{
    color:black;
    font-weight:normal;
    margin-left:10px;
}

dl.discription_of_command span.default:before{
    color:black;
    content:"デフォルト: ";
}

dl.discription_of_command span.org{
    color:mediumblue;
    font-weight:normal;
    font-style:normal;
    margin-left:35px;
    margin-right:35px;
}

dl.discription_of_command dd{
    margin-bottom:10px;
}


/*----------------------------------------------------------------------- */
/* キーボード                                                             */
/*----------------------------------------------------------------------- */

.keyboard {
  display: inline-block;
  width: auto;
  height: auto;
  padding: 4px 12px;
  margin: 0 4px;
  background: #fff;
  border-radius: 3px;
  box-shadow: 0px 1px 3px 1px rgba(0, 0, 0, 0.5);
  font: 18px/24px Helvetica, Arial, serif;
  text-align: center;
  color: #666;
}

/*----------------------------------------------------------------------- */
/* 引用 or 字下げしたブロック                                              */
/*----------------------------------------------------------------------- */
div.quote{
    margin:7px 100px 7px 100px;
}

/*----------------------------------------------------------------------- */
/* table and its caption (表とキャプション)                                */
/*----------------------------------------------------------------------- */

/*------------------------------------------------*/
/* 一般的な表(背景色有り，罫線有り，キャプション有り)*/
/*------------------------------------------------*/
table.default{
    border: 1px #E3E3E3 solid;
    border-collapse: collapse;
    border-spacing: 0;
    margin-top:5px;
    margin:0 auto;
    background-color:#def0ff;
    font-size:90%;
    empty-cells:show;
}

table.default caption{
    counter-increment:table;
    font-size:100%;
    text-align:left;
    padding-left:20px;
    padding-bottom:5px;
}

table.default caption:before{
    content: "表" counter(table) ": ";
}

table.default th{
    border: 1px black solid;
    background-color:#b0c0ef;
    text-align:center;
}

table.default tr{
    vertical-align:top
}

table.default td{
    padding: 3px;
    border: 1px black solid;
    text-align:left;
}

/*------------------------------------------------*/
/* 立体的な表(背景色有り，罫線有り，キャプション有り) */
/*------------------------------------------------*/
table.solid{
    border-spacing: 2px;
    border-top:   1px solid #cee0ff;
    border-right: 1px solid #000000;
    border-bottom:1px solid #000000;
    border-left:  1px solid #cee0ff;
    background-color:#cee0ff;
    font-size:90%;
    empty-cells:show;
}

table.solid caption{
    counter-increment:table;
    font-size:100%;
    text-align:left;
    padding-left:20px;
    padding-bottom:5px;
}

table.solid caption:before{
    content: "表" counter(table) ": ";
}

table.solid th{
    border-top:1px solid #888;
    border-top:1px solid #595b60;
    border-right:1px solid #dac0ca;
    border-bottom:1px solid #d7d9dd;
    border-left:1px solid #777d88;
    text-align:center;
}

table.solid tr{
}

table.solid td{
    border-top:1px solid #888;
    border-top:1px solid #595b60;
    border-right:1px solid #dac0ca;
    border-bottom:1px solid #d7d9dd;
    border-left:1px solid #777d88;
    text-align:left;
}

/*------------------------------------------------*/
/* Latex のコマンドと結果(図)                      */
/*------------------------------------------------*/
table.latex_command_result{
    border: 1px #E3E3E3 solid;
    border-collapse: collapse;
    border-spacing: 0;
    margin-top:5px;
    margin:5px 10px 10px 50px;
    font-size:90%;
    empty-cells:show;
}

table.latex_command_result caption{
    counter-increment:table;
    font-size:100%;
    text-align:left;
    padding-left:20px;
    padding-bottom:3px;
}

table.latex_command_result caption:before{
    content: "表" counter(table) ": ";
}

table.latex_command_result th.command{
    border: 1px black solid;
    background-color:#b0c0ef;
    text-align:center;
}

table.latex_command_result th.separater{
    border:none;
    background-color:transparent;
}

table.latex_command_result th.result{
    border: 1px black solid;
    background-color:#b0c0ef;
    text-align:center;
}

table.latex_command_result tr{
    vertical-align:top;
}

table.latex_command_result td.command{
    padding: 3px;
    border: 1px black solid;
    text-align:left;
    background-color:#def0ff;
}

table.latex_command_result td.result{
    padding: 3px;
    border: 1px black solid;
    text-align:center;
    vertical-align:middle;
    background-color:#def0ff;
}

table.latex_command_result td.separater{
    border: none;
    background-color:transparent;
}

table.latex_command_result td.result img{
    width:auto;
    height:auto;
}


/*------------------------------------------------*/
/* 説明用の表 (アイテムと説明)                      */
/*------------------------------------------------*/
table.item_explain{
    border-style:none;
    margin-top:5px;
    margin-right:50px;
    margin-bottom:5px;
    margin-left:80px;
    border-spacing:0px 10px;
    font-size:95%;
    empty-cells:show;
}

table.item_explain caption{
    counter-increment:table;
    font-size:100%;
    text-align:left;
    padding-left:20px;
    padding-bottom:2px;
}

table.item_explain caption:before{
    content: "表" counter(table) ": ";
}

table.narrow{
    border-spacing:0px 0px;
}

table.item_explain tr.top{
    text-align:left;
    vertical-align:top;
    background-color:LightGray;
    font-size:small;
    word-break:break-all;
}

table.item_explain tr.top th{
    color:DarkBlue;
    font-size:110%;
}

table.item_explain th{
    padding:3px;
}

table.item_explain tr.body{
    text-align:left;
    vertical-align:top;
    word-break:break-all;
}

table.item_explain tr.body td.item{
    color:crimson;
    padding-right:10px;
}

table.item_explain tr.body td.item span.arg{
    color:darkviolet;
}

table.item_explain tr.body td.explain{
    color:black;
    padding-left:10px;
    padding-right:10px;
}

table.item_explain tr.body td.explain span.arg{
    color:darkviolet;
}


/*------------------------------------------------*/
/* 説明用の表(背景色無し，罫線無し，キャプション無し) */
/*------------------------------------------------*/
table.explanation{
    margin-top:10px;
    margin-left:115px;
    margin-bottom:10px;
    padding: 5px 20px 5px;
    border-collapse:separate;
    border-style:none;
    border-spacing:15px 5px;
    font-size:100%;
    line-height:120%;
    empty-cells:show;
}

table.explanation tr td{
    text-align:left;
    vertical-align:top;
    word-break:break-all;
}

table.explanation tr td pre{
    font-size:100%;
    line-height:100%;
}

li table.explanation{
    margin-left:40px;
}

li li table.explanation{
    margin-left:20px;
}

/*------------------------------------------------*/
/* インラインフレームの表(シンプル，キャプション無し) */
/*------------------------------------------------*/
table.inline_frame{
    margin-top:10px;
    margin-left:20px;
    margin-bottom:10px;
    padding: 5px 5px 5px;
    border-collapse:separate;
    border-style:none;
    border-spacing:15px 5px;
    font-size:100%;
    line-height:120%;
    empty-cells:show;
}

table.inline_frame tr td{
    text-align:left;
    vertical-align:top;
    word-break:break-all;
}

table.explanation tr td pre{
    font-size:100%;
    line-height:100%;
}


/*----------------------------------------------------------------------- */
/* figure and its caption (図とキャプション)                               */
/*----------------------------------------------------------------------- */
.main table.figure{
    margin-top:10px;
    margin-left:50px;
    margin-bottom:30px;
    border:none;
}

/*-------- figure ----------*/
.main table.figure td.image{
    vertical-align:top;
    text-align:center;
}

.main table.figure td.image.bottom{
    vertical-align:bottom;
}

.main table.figure td.image.shadow img{
    box-shadow:8px 8px 10px 0px rgba(0,0,0,0.7);
}

/*-------- caption ----------*/
.main table.figure td.caption{
    font-size:90%;
    vertical-align:top;
    text-align:left;
    padding-left:20px;
    padding-top:10px;
}

.main table.figure td.caption.center{
    vertical-align:top;
    text-align:center;
}

.main table.figure td.caption.number:before{
    counter-increment:fig;
    content: "図" counter(fig) ": ";
}


/*----------------------------------------------------------------------- */
/* 参考文献 (references)                                                   */
/*----------------------------------------------------------------------- */

/*------------------ */
/* 通し番号付き       */
/*------------------ */

div.references ol{
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:100%;
    line-height:150%;
    list-style-type:none;
    margin-right:30px;
}

div.references ol li{
    padding-left:35px;
    counter-increment:ref_num;
    text-indent:-35px;
}

div.references ol li:before{
        content: "[" counter(ref_num) "]\2002";
}

/*------------------ */
/* 通し番号無し       */
/*------------------ */

div.references ul{
    margin-right:30px;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:100%;
    line-height:150%;
}

/*----------------------------------------------------------------------- */
/* 更新履歴 (update history)                                               */
/*----------------------------------------------------------------------- */

div.update_history{
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:100%;
    line-height:150%;
    list-style-type:none;
}

div.update_history table{
    margin-top:0px;
    margin-bottom:0px;
    margin-left:40px;
    margin-right:100px;
    border-spacing:0px 10px;
}

div.update_history table tr{
    counter-increment:update_his;
}


div.update_history table tr td.date{
    vertical-align:top;
    width:180px;
}

div.update_history table tr td.date:before{
    content: "[" counter(update_his) "]\2002";
}

div.update_history table tr td.explanation{
    padding-left:20px;
    padding-right:50px;
}


/* ====================================================================== */
/* program source inline                                                  */
/* ====================================================================== */

span.program_source{
  margin-left:2px;
  margin-right:2px;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
}

span.program_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}


/* ====================================================================== */
/* program source                                                         */
/* ====================================================================== */

/*----------------------------------------------------------------------- */
/* source list caption
/*----------------------------------------------------------------------- */
p.source_caption{
    margin-top:20px;
    margin-left:35px;
    margin-bottom:-10px;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:100%;
    line-height:100%;
}

p.source_caption:before{
    counter-increment:list;
    content: "リスト" counter(list) ": ";
}

li p.source_caption{
    margin-left:25px;
}

li li p.source_caption{
    margin-left:5px;
}

/* old style */
p.prog_source:before{
    counter-increment:list;
    content: "リスト" counter(list) ": ";
}

/*----------------------------------------------------------------------- */
/* result caption                                                         */
/*----------------------------------------------------------------------- */
p.result_caption{
    margin-top:20px;
    margin-left:35px;
    margin-bottom:-10px;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:100%;
    line-height:100%;
}


/*----------------------------------------------------------------------- */
/* list caption                                                           */
/*----------------------------------------------------------------------- */
pre span.line_num{
    color:maroon;
    user-select:none;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-weight:normal;
    -webkit-user-select:none;
    -moz-user-select:none;
    -khtml-user-select:none;
    -webkit-user-drag:none;
    -khtml-user-drag:none;
}

pre span.program_comment{
    color:green;
    user-select:none;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-weight:normal;
    -webkit-user-select:none;
    -moz-user-select:none;
    -khtml-user-select:none;
    -webkit-user-drag:none;
    -khtml-user-drag:none;
}


/*----------------------------------------------------------------------- */
/* general                                                                */
/*----------------------------------------------------------------------- */
pre.general_source{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.general_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*----------------------------------------------------------------------- */
/* input_data                                                             */
/*----------------------------------------------------------------------- */
pre.input_data{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #003300;
  color: #ffffff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:80%;
  line-height:150%;
}

pre.input_data.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

pre.input_data span.line_num{
    color:#9ACD32;
    user-select:none;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-weight:normal;
    -webkit-user-select:none;
    -moz-user-select:none;
    -khtml-user-select:none;
    -webkit-user-drag:none;
    -khtml-user-drag:none;
}


pre.input_data span.program_comment{
    color:#cc4500;
    user-select:none;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-weight:normal;
    -webkit-user-select:none;
    -moz-user-select:none;
    -khtml-user-select:none;
    -webkit-user-drag:none;
    -khtml-user-drag:none;
}


/*----------------------------------------------------------------------- */
/* output_data                                                            */
/*----------------------------------------------------------------------- */
pre.output_data{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #ffcccc;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.output_data.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*----------------------------------------------------------------------- */
/* html and php                                                           */
/*----------------------------------------------------------------------- */

pre.html_source{
    margin-top:20px;
    margin-left:60px;
    margin-bottom:10px;
    padding: 5px 20px 5px;
    width:450px;
    border: 1px solid;
    background: #bbeeff;
    overflow-X:auto;
    overflow-Y:auto;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:90%;
    line-height:120%;
}

pre.html_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*--- クラス名 ----- */
pre.html_source span.cn{
    color:purple;
}

/*--- 入力 ----- */
pre.html_source span.in{
    color:crimson;
}

/*--- 実行結果 ----- */
div.html_run{
  margin-top:20px;
  margin-left:60px;
  margin-bottom:20px;
  padding: 5px 20px 10px;
  border: 1px solid;
  background: #FFCCCC;
  width:600px;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

/*----------------------------------------------------------------------- */
/* css                                                                    */
/*----------------------------------------------------------------------- */

td.main pre.css_source{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

td.main pre.css_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*----------------------------------------------------------------------- */
/* LaTeX                                                                  */
/*----------------------------------------------------------------------- */

pre.latex_source{
    width:400px;
    margin-top:20px;
    margin-left:60px;
    margin-bottom:10px;
    padding: 5px 20px 5px;
    border: 1px solid;
    background: #bbeeff;
    overflow-X:auto;
    overflow-Y:auto;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:90%;
    line-height:120%;
}

pre.latex_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}


li pre.latex_source{
    margin-left:40px;
}

li li pre.latex_source{
    margin-left:20px;
}


/*----------------------------------------------------------------------- */
/* assembly                                                               */
/*----------------------------------------------------------------------- */
pre.assembly_source{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:'Consolas', 'Inconsolata', monospace;
  font-weight:600;
  font-size:90%;
  line-height:120%;
}

/*----------------------------------------------------------------------- */
/* perl                                                                   */
/*----------------------------------------------------------------------- */
pre.perl_source{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.perl_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*----------------------------------------------------------------------- */
/* python                                                                 */
/*----------------------------------------------------------------------- */
pre.python_source{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.python_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*----------------------------------------------------------------------- */
/* C                                                                      */
/*----------------------------------------------------------------------- */
pre.c_source{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.c_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*----------------------------------------------------------------------- */
/* C++                                                                    */
/*----------------------------------------------------------------------- */
pre.cpp_source{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.cpp_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*----------------------------------------------------------------------- */
/* JavaScript                                                             */
/*----------------------------------------------------------------------- */
pre.js_source{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.js_source.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

/*----------------------------------------------------------------------- */
/* 説明用 <pre class="latex_source  code_explain">のように使う             */
/*----------------------------------------------------------------------- */
pre.code_explain{
    background: #e0e0e0;
    color: black;
}

pre.code_explain span.emphasize{ /* 強調 */
    color:red;
}

pre.code_explain span.emph{      /* 強調 */
    color:red;
}

pre.code_explain span.op{ /* オプション */
    color:royalblue;
}

pre.code_explain span.arg{  /* 引数 */
    color:darkviolet;
}

pre.code_explain span.value{  /* 値 */
    color:maroon;
}

pre.code_explain span.comment{  /* コメント */
    color:green;
}

/*----------------------------------------------------------------------- */
/* プログラムのソースと実行結果を横に並べる                                 */
/*----------------------------------------------------------------------- */
table.source_result{
    table-layout:fixed;
    align:left;
    margin-top: 0px;
    margin-left: 60px;
    margin-bottom: 20px;
    padding: 0px 0px 0px;
    border-spacing:10px 0px;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
}

table.source_result td.source_caption{
    margin-bottom:0px;
    text-align: left;
    vertical-align: top;
}

table.source_result td.source_caption{
    margin-bottom:0px;
    text-align: left;
    vertical-align: top;
}

td.source_caption:before{
    counter-increment:list;
    content: "リスト" counter(list) ": ";
}

table.source_result td{
    vertical-align:top;
    text-align: left;
}

table.source_result pre{
    vertical-align:top;
    text-align: left;
    margin-left:0px;
    margin-top:0px;
}


/*----------------------------------------------------------------------- */
/* ソースコードのインライン表示                                             */
/*----------------------------------------------------------------------- */
code.inline{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:108%;
}
code.inline span.emphasize{ /* 強調 */
    color:red;
}

code.inline span.op{ /* オプション */
    color:royalblue;
}

code.inline span.arg{  /* 引数 */
    color:darkviolet;
}

code.inline span.value{  /* 値 */
    color:maroon;
}

code.inline span.comment{  /* コメント */
    color:green;
}


/*----------------------------------------------------------------------- */
/* for old version                                                        */
/*----------------------------------------------------------------------- */

pre.source_code{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 10px 20px 10px;
  width:450px;
  border: 1px solid;
  background: #bbeeff;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}


pre.prog_run{
  margin-top:20px;
  margin-left:60px;
  margin-bottom:20px;
  padding: 5px 20px 10px;
  border: 1px solid;
  background: #FFCCCC;
  width:600px;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

div.source{
  margin-top:5px;
  margin-left:60px;
  margin-bottom:20px;
  padding-top:0px;
  padding-left:20px;
  padding-bottom:0px;
  border: 1px solid;
  background: #BBEEFF;
  height:400px;
  width:600px;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

/* ###################################################################### */
/* google code prettify                                                   */
/* ###################################################################### */

/* ====================================================================== */
/* COLOR THEMES FOR GOOGLE CODE PRETTIFY                                  */
/* ====================================================================== */
/*! Color themes for Google Code Prettify | MIT License | github.com/jmblog/color-themes-for-google-code-prettify */
pre.my_gcp{
    margin-left:60px;
    padding:10px;
    width:500px;
    height:250px;
    line-height:100%;
    overflow-X:auto;
    overflow-Y:auto;
}

.prettyprint{
  background: darkslategray;
  font-family: Menlo, "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Monaco, Consolas, monospace;
  border: 0 !important;
  font-size: 10pt;
}

.pln{     /* Plain text */
  color: white;
}

/* Specify class=linenums on a pre to get line numbering */
ol.linenums {
  margin-top: 0;
  margin-bottom: 0;
  color: #999999;
}

li.L0,
li.L1,
li.L2,
li.L3,
li.L4,
li.L5,
li.L6,
li.L7,
li.L8,
li.L9{
  padding-left: 1em;
  background-color: darkslategray;
  list-style-type: decimal;
}

@media screen {
    .str{             /* string content */
	color: lightsalmon;
    }

    .kwd{             /* keyword color: lightskyblue;*/
	color: cyan;
    }

    .com {            /* comment */
	color: #ff7f24;
    }

    .typ {            /* type name */
	color: palegreen;
    }

    .lit {            /* literal value */
	color: white;
    }

    .pun {            /* punctuation */
	color: lightskyblue;
    }

    .opn {            /* lisp open bracket */
	color: #fff;
    }

    .clo {            /* lisp close bracket */
	color: #fff;
    }

    .tag {            /* markup tag name */
	color: #e6b422;
    }

    .atn {            /* markup attribute name */
	color: #ccff00;
    }

    .atv {            /* markup attribute value */
	color: #5f9ea0;
    }

    .dec {            /* declaration */
	color: darkgreen;
    }

    .var {            /* variable name */
	color: #ff7f00;
    }

    .fun {            /* function name */
	color: palegreen;
    }
}




/* ###################################################################### */
/* File                                                                   */
/* ###################################################################### */

/* ====================================================================== */
/* setting file (設定ファイル記述用)                                       */
/* ====================================================================== */

pre.comp_setting{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 3px 6px 3px;
  width:450px;
  border: 1px solid;
  background: #f6f5f5;;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.comp_setting.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

pre.comp_setting span.input{
  color:crimson;
}

pre.comp_setting span.comment{
  color:orangered;
  font-style:italic;
}

pre.comp_setting span.emphasis{
  color:red;
}

pre.comp_setting span.emph{
  color:red;
}

/* ====================================================================== */
/* コンピューターの処理結果のファイル                                       */
/* ====================================================================== */

pre.file_output{
  margin-top:20px;
  margin-left:60px;
  margin-bottom: 20px;
  padding: 3px 6px 3px;
  width:450px;
  border: 1px solid;
  background: #f6f6f6;;
  overflow-X:auto;
  overflow-Y:auto;
  font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
  font-size:90%;
  line-height:120%;
}

pre.file_output.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}


pre.file_output span.comment{
  color:darkgreen;
  font-style:italic;
}

pre.file_output span.emphasis{
  color:red;
}


/* ###################################################################### */
/* command                                                                */
/* ###################################################################### */

/* ====================================================================== */
/* command on terminal (単独コマンド)                                     */
/* ====================================================================== */
pre.command{
    width:400px;
    margin-top:10px;
    margin-left:115px;
    margin-bottom:10px;
    padding: 5px 15px 5px 15px;
    background-color:black;
    color:white;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:90%;
    line-height:120%;
    overflow-X:auto;
}

pre.command.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:100%;
}

pre.hoge{
    color:red;
}

td.main li pre.command{
    margin-left:40px;
}

td.main li li pre.command{
    margin-left:20px;
}

pre.command span.prompt{   /* プロンプトは緑色 */
    color:#00ff00;
}

pre.command span.sudo{     /* sudo は灰色 */
    color:#C0C0C0;
}

pre.command span.op{     /* オプションは紫色 */
    color:violet;
}

pre.command span.arg{   /* 引数は黄色 */
    color:yellow;
}

pre.command span.arg{   /* 引数は黄色 */
    color:yellow;
}

pre.command span.obj{   /* 目的語 */
    color:cyan;
}

pre.command span.obj2{   /* 目的語 */
    color:GreenYellow;
}

pre.command span.emph{   /* 強調 */
    color:red;
}

pre.command span.comment{    /* コメントは灰色 */
    color:#AFAFAF;
    font-style:italic;
}

pre.command span.comment:before{
    content:"\2002\2002";
}




/*----------------------------------------------------------------------- */
/* inline command                                                         */
/*----------------------------------------------------------------------- */

span.inline_command{
    color:black;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    white-space:pre;
}

span.inline_command.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:108%;
}

span.inline_command span.command{
    color:DarkMagenta;
}

span.inline_command span.op{
    /* color:dimgray; */
    color:crimson;
}

span.inline_command span.arg{
    color:crimson;
}

span.inline_command span.obj{   /* 目的語 */
    color:magenta;
}

span.inline_command span.emph{   /* 強調 */
    font-style:italic;
    color:red;
}

span.inline_command span.comment{    /* コメントは灰色 */
    color:darkgreen;
    font-style:italic;
}

span.inline_command span.comment:before{
    content:"\2002\2002";
}


/*------------------------------------ */
/* obsolete                            */
/*----------------------------------- */

pre.unix_command{
    margin-top:5px;margin-left:60px;margin-bottom: 10px;
    padding: 5px 10px 10px;
    font-style:normal;
    font-weight:bold;
    color: darkgreen;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:90%;
    line-height:120%;
}


/*----------------------------------------------------------------------- */
/* terminal output                                                        */
/*----------------------------------------------------------------------- */

pre.terminal_screen{
    margin-top:10px;
    margin-left:115px;
    margin-bottom:10px;
    padding: 5px 20px 5px;
    border:0px solid;
    background:#000000;
    color:#00ff00;
    width:600px;
    height:400px;
    overflow-X:auto;
    overflow-Y:auto;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:90%;
    line-height:120%;
}

pre.terminal_screen.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}

pre.terminal_screen.auto_wrap{
    word-break:break-all;
    white-space:pre-wrap;
    word-wrap:break-word;
    overflow:auto;
}

li pre.terminal_screen{
    margin-left:40px;
}

li li pre.terminal_screen{
    margin-left:20px;
}

pre.terminal_screen span.prompt{      /* プロンプトは緑色 */
    color:#00ff00;
}

pre.terminal_screen span.sudo{        /* sudo は灰色 */
    color:#C0C0C0;
}

pre.terminal_screen span.command{     /* コマンドは白色 */
    color:#ffffff;
}

pre.terminal_screen span.op{          /* オプションは水色 */
    color:violet;
}

pre.terminal_screen span.arg{         /* 引数は黄色 */
    color:#ffff00;
}

pre.terminal_screen span.obj{         /* 目的語はシアン */
    color:cyan;
}

pre.terminal_screen span.obj2{        /* 目的語2は黄緑 */
    color:GreenYellow;
}

pre.terminal_screen span.emph{        /* 強調は赤 */
    color:#ff0000;
}

pre.terminal_screen span.comment{     /* コメントはマジェンタ */
    color:magenta;
}

pre.terminal_screen .reverse{
    background:#00ff00;
    color:#000000;
}

/*----------------------------------------------------------------------- */
/* command results                                                        */
/*----------------------------------------------------------------------- */

pre.command_result{
    margin-top:10px;
    margin-left:115px;
    margin-bottom:10px;
    padding: 5px 20px 5px;
    font-style:normal;
    font-weight:normal;
    border: 1px solid;
    color: black;
    width:600px;
    height:400px;
    overflow-X:auto;
    overflow-Y:auto;
    background:aliceblue;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:90%;
    line-height:120%;
}

pre.command_result.mono_space{
    font-family:Consolas, 'Courier New', Courier, Monaco, monospace;
    font-size:95%;
}


li pre.command_result{
    margin-left:40px;
}

li li pre.command_result{
    margin-left:20px;
}

pre.command_result span.comment{
    color:red;
}

pre.command_result span.comment:before{
    color:red;
    content:"コメント:\2002";
}

/*----------------------------------------------------------------------- */
/* html results                                                           */
/*----------------------------------------------------------------------- */

div.html_result{
    margin-top:0px;
    margin-left:115px;
    margin-bottom:10px;
    padding: 0px 0px 0px 0px;
    font-style:normal;
    font-weight:normal;
    border: 1px solid;
    color: black;
    width:600px;
    height:auto;
    overflow-X:auto;
    overflow-Y:auto;
    background:aliceblue;
    font-family:"ヒラギノ角ゴ Pro W3","Hiragino Kaku Gothic Pro",Osaka,メイリオ,Meiryo,"ＭＳ Ｐゴシック";
    font-size:90%;
    line-height:120%;
}

li div.html_result{
    margin-left:40px;
}

li li div.html_result{
    margin-left:20px;
}

div.html_result span.comment{
    color:red;
}

div.html_result span.comment:before{
    color:red;
    content:"コメント:\2002";
}


/* ====================================================================== */
/* WEB Style                                                              */
/* ====================================================================== */




/* ==================================================================== */
/*     講義ノート(latex2html)                                              */
/* ==================================================================== */

div.box h1{
    font-size:180%;
    line-height:150%;
}


/* ==================================================================== */
/*    What's new                                                        */
/* ==================================================================== */

table.whats_new{
   border-spacing:0px 10px;
}

table.whats_new td{
   padding-bottom:20px;
}


/* ====================================================================== */
/* jQuery                                                                 */
/* ====================================================================== */

/*---------------------------------------- */
/* Treeview                                */
/*---------------------------------------- */

body table.side_main td.main ul.treeview li{
    margin-top:0px;
    margin-bottom:0px;
}

body table.side_main td.main ul.treeview-red li{
    margin-top:0px;
    margin-bottom:0px;
}

body table.side_main td.main ul.treeview-black li{
    margin-top:0px;
    margin-bottom:0px;
}

body table.side_main td.main ul.treeview-gray li{
    margin-top:0px;
    margin-bottom:0px;
}

body table.side_main td.main ul.treeview-famfamfam li{
    margin-top:0px;
    margin-bottom:0px;
}

body table.side_main td.main ul.filetree li{
    margin-top:0px;
    margin-bottom:0px;
}


/*---------------------------------------- */
/* Lightbox のタイトル                     */
/*---------------------------------------- */
span.lightbox_title{
  line-height: 140%;
}


/* ==================================================================== */
/*     フッターのスタイル                                                */
/* ==================================================================== */

div.footer p.last_update{
    padding-right:10pt;
    text-align:right;
    font-size:100%;
}

/* ==================================================================== */
/* 部品のスタイル                                                */
/* ==================================================================== */

/*---------------------------------------- */
/* ボタンのタイトル
/*---------------------------------------- */