@charset "utf-8";

body {
      max-width: 650px;
     margin: 0 10% 0 10%;
    letter-spacing: 0.05rem;
    word-spacing: -0.15rem;
    font-family: "Times New Roman",serif;
   }

p{ 
  line-height: 1.7 /*1.8*/;
  margin-bottom: 2.2rem ;
}



.solid{ border: solid  1.3px;}
.dashed,.ryo{border: dashed 1.3px;}
.dashed,.solid,.ryo{
  padding-top: 1rem;
  padding-bottom: 1rem;
  padding-left:0.6rem;
  padding-right:0.4rem;
}

.def,.thm,.ex,.prop,.lem,.cor{
  margin-left: 4px; 
  margin-right: 4px;
  padding: 0.5rem 0.4rem 0.5rem 0.4rem;
  border-color: #474747;
  margin-bottom:2.2rem;
}


p.ex{
  padding-top: 0;
}


.in,.out,.dfn{
  margin-left: 4px; 
  margin-right: 4px;
  padding: 0.5rem 0.4rem 0.5rem 0.4rem;
}


p.in,p.dfn{
  font-size:1.03rem;
  margin-top:0;
  margin-bottom:1rem;
  padding:0.6rem 0.8rem;
}
p.out{
  font-size:1.03rem;
  margin-top:0.1rem;
  margin-bottom:2.2rem;
  padding:0.45rem 0.8rem;
}

pre.in,pre.dfn{
  font-size:1.03rem;
  margin-top:0.7rem;
  margin-bottom:1rem;
  padding:0.6rem 0.4rem;
  line-height:1.6;
}
.in code,.in code{
  font-size:1.03rem;
}



.def{  border: dashed 1.5px;}
.ex{   border-left: solid  3.5px #777777; }
.thm,.prop,.cor{  border: double  3.5px;}
.lem{ border-left: double 3.5px; }

.in{  border     : solid 2px #888888; 
      border-left: solid 7px #888888;}
.dfn{  border: double  3.5px ; }
.out{  /*border-left: solid 3.5px #777777;*/
         border:solid 1px ;}

.pf{
  border-bottom: dashed 1.5px;
  border-top : dashed 1.5px; 
  padding-top: 0.2rem; 
  padding-bottom: 0.3rem;
  margin-left: 4px; 
  margin-right: 4px;
  margin-top: -1.4rem;
}

samp{
  display: block;
  border-bottom: dashed 1.5px;
  border-top : dashed 1.5px; 
  padding-top: 0.2rem;
  font-family: "Times New Roman",serif;
}/* proofの下書き用  */


.pf{
  position: relative;
}

div.pf{
  margin-bottom:3.5rem;
}
p.pf:after{
   position: absolute; bottom: 0; 
   right: 0px;   
   content: '□';
   font-size:1.55rem;
}

div.pf:after{
   position: absolute; bottom: 0rem; 
   right: 2px;   
   content: '□';
   font-size:1.55rem;
}

div.pf p{
  margin:0;
}


/*-------------------------------------

-------------------------------------*/

#open{
  position: relative;
}
#open dd:after{
   position: absolute; bottom: -8px; 
   right: 10px;   z-index:10px;
   content: '□';
   font-size:1.55rem;
}





p strong{
  font-family:'\30e1\30a4\30ea\30aa',Meiryo,'\30D2\30E9\30AE\30CE\89D2\30B4\20\50\72\6F\20\57\33','Hiragino Kaku Gothic Pro','\FF2D\FF33\20\FF30\30B4\30B7\30C3\30AF','MS PGothic',sans-serif;
  font-weight:bold;
 /*  border-bottom: solid 3px #ff3377; rgba(255,215,0,0.5)#ffd700*/
 /* background:linear-gradient(transparent 75%, rgba(255,50,120,0.5) 0%); 
 */
}


u{
  text-decoration:none;
  border-bottom:solid 2px;
}

.takatani,.example{        
   text-decoration: underline;
   padding: 0;
  font-size: 1rem;
}
.example{
  text-decoration: none;
  font-size:1rem;
 /* border-bottom: solid 3px gray;
*/
}
.takatani{
  text-decoration: none;
  font-size:1rem;
 border-bottom: solid 1.8px;

}


.dotted {
  text-decoration: underline dotted;
  padding: 0;
}

.case{
  border-bottom:solid 2px;
}

.case2{
  border-bottom:dashed 2px;
}/*case case2 の使用:ガンマ関数 */



.pink{
   color: #ff3377; 
  /* color:#333333;  */
}
.green{color: #33cc77;}

.blue{
  color: #6bb6ff;
  font-size:1.3rem;
}

.point{
   font-size: 1.2rem;
}
p.point{
   margin-bottom: 0.5rem;
}

.rline{border-bottom: solid 2px red;}
.gline{border-bottom: solid 2px #33cc77;}





/*---------------------------Takatani Note-------
  リンク
-------------------------------------------------*/
a { text-decoration: none;}
a:visited { color: #0000ff; }
a:hover{text-decoration: underline;}

.btn  {
  display: block;
  padding: 0.4rem 0.7rem 0.4rem 0.7rem;
  text-decoration: none;
  color: black;
  border: solid 1.5px; 
  border-radius: 20px;
  font-size: 1.02rem;
}
.btn:visited {
   color: black;
}
.btn:hover {
   text-decoration: none;
}
/*---------------------------Takatani Note-------
  \ul 箇条書き
-------------------------------------------------*/

li {
 margin-top: 2px;
 
}

.mokuzi{
  font-size:1.05rem;
  border: dashed 1.3px;
  padding-top: 0.5rem;
  padding-bottom: 0.5rem;
  padding-left:1.7rem;
  margin-bottom:2rem;
}

.list{
  border: dashed 1.3px;
  padding: 1rem 0.5rem 0.4rem 1.5rem;
  margin-bottom:3rem;
}

.list li{
 margin-top: 10px;
 margin-bottom:15px;
}

.remark{
  padding: 0rem 0.5rem 0rem 1.5rem;
  margin-bottom:3rem;
}

.remark li{
 margin-top: 10px;
 margin-bottom:15px;
}

.ref,.ref2 {
 padding:5px 5px 20px 25px;
}
.ref li,.ref2 li{
 margin-bottom:7px;
}

ul.ref2{
  margin-top:-2rem;
}

/*---------------------*/
.rel,.art.art2 {
 padding:5px 5px 20px 25px;
}
div ul.rel,div ul.art div, ul.art2{
  margin-left:5px;
  margin-right: 5px;
}
.rel li,.art li, .art2 li{
 margin-bottom:12px;
 font-size:1.05rem;
}

ul.art2{
  margin-top:-2rem;
} 
/*  row-column 一列に横並びしたものを, 
画面の幅を小さくすることで一列に縦並びにする。
※二列以上のものには不適  / row 行 / column 列 */
.row-column {
  display: flex;
  list-style-type: none;
  padding: 0;
  margin: 0;
}
.row-column li {
  margin-bottom: 2rem;
}
.row-column  img{
  width: 95%;
}

/*---------------------------Takatani Note-------
  アフィリエイト
-------------------------------------------------*/
.book{text-align:center;}
.book img{width:40%;}

.ama{
  display: block;
  margin:auto;
  text-decoration: none;
  border: solid 1.5px #474747; 
  border-radius: 20px;
  width: 80%;
  text-align:center;
}
.ama{
  padding: 0.5rem 0.5rem 0.5rem 0.5rem;
  background: rgba(255,200,0,0.8);
  color: #373737;
  font-family: "Times New Roman",serif;
  font-size: 1.2rem;
  margin-bottom:25px;
}
.ama:visited {
   color: #474747;
}
.ama:hover {
   background: rgba(255,170,0,0.8);
   text-decoration: none;
}

.container {
  display: -webkit-flex;
display: -moz-flex;
display: -ms-flex;
display: -o-flex;
  display: flex;
  margin-bottom:3rem;
}

.box1,.box2{
  border:solid 3px;
  border-color: #6bb6ff;
  text-align:center;
}
.box1 {  
 width:40%;  
padding: 10px 0px;
margin-left:0.5rem;
border-right:none;
}
.box1 img{
   width: 80%;
}
.box2 {  
 width:60%;  
padding: 15px 5px 3px 5px;
margin-right:0.5rem;
border-left:none;
}


/*group/katsura*/
.box3,.box4{ 
  text-align:center;
}
.box3 {  
 width:50%;  
padding: 10px 0px;
margin-left:0.5rem;
margin:auto;
}
.box3 img{
   width: 80%;
}
.box4 {  
 width:50%;  
padding: 15px 5px 3px 5px;
margin-right:0.5rem;
margin: auto;
}

/*group/katsura*/


.box-tex{
/* border:solid 2px;*/
 width:48%;  
padding: 1px 0px;
margin:0rem;
margin-top:-0.5rem;
}

@media screen and (max-width: 600px){
.box-tex{width:90%;  }
}
/*---------------------------Takatani Note-------
  ローマ字・フォント
-------------------------------------------------*/

.twitter{
  font-family: "Times New Roman",serif;
  font-size:1.5rem;
  word-spacing: 0;
  font-weight: normal;
  margin-bottom:0;
}

.roman{
  font-size: 1.1rem;
  font-family: "Times New Roman",serif;
  word-spacing: 0;
}
.roman1,.roman2,.roman3{
  font-family: "Times New Roman",serif;
  word-spacing: 0;
  font-weight: normal;
  margin-bottom:0;
}
.roman1{font-size:1.6rem;}
.roman2{font-size:1.4rem;}
.roman3{font-size:1.25rem;}

.home{
  margin-top: 2rem; 
  margin-bottom: 2rem;
  text-align: center;
}

/*-------------------
  content
----------------------*/
body div.content {  
  margin-left:5px;
  margin-right:5px;
}
.content h1{
  /* font-size: 1.35rem;  */
  font-size: 1.5rem;
  margin: 20px 10px 60px 10px ;
  text-align: center;
  font-weight:normal;
}

.content h2 {
  border-left:solid 10px #33cc77;
  padding: 15px 5px 15px 20px;
  font-size: 1.2rem;
  margin-top: 3rem;
  margin-bottom: 1rem;
  font-weight:normal;
  background-color: rgba(51,204,119,0.25);
}
 /* h2 元の色 #474747 透明なブルーrgba(107, 182, 255, 0.24)*/
 .content h3 {
 /*border-left:solid 10px #6bb6ff;  */ 
  border-left:solid 10px #33cc77; 
 /*border-bottom:solid 10px #33cc77;*/
  padding: 10px 5px 10px 12px;
  font-size: 1.05rem;
  margin-top: 0.5rem;
 font-weight: bold;
 font-family:Meiryo,sans-serif;
 color: #111111;
}


.content h4 {
   padding: 4px 5px 4px 8px;
   font-weight:normal;
  font-size: 1.2rem;
  margin-bottom:0.5rem;
}

.content h5 {
  /* border-left:solid 7px #33cc77; */
   padding: 4px 5px 4px 5px;
   font-weight:normal;
  font-family: Consolas, 'Courier New', Courier, Monaco, monospace;

  font-size: 1rem;
  margin-top :0rem;
  margin-bottom:0.1rem;
}
/*---------------------------Takatani Note-------
  header
-------------------------------------------------*/
　 header.header{
  	max-width: 650px;
  	background: #33cc77;
  	padding: 0;
    margin: 0;
  }

.title, .toppage {
  display: block;
  position: relative;
  margin:0;
  padding: 0.6rem 1rem 0.6rem 1rem;
  text-decoration: none;
  background:#33cc77;
  color: #474747;
  text-align: center;
  font-size: 1.8rem;
  font-family: "Times New Roman",serif;
}
.title:visited {
   color: #474747; 
}
.title:hover {
   text-decoration: none;
   color: black;
}


/*---------------------------Takatani Note-----------------
  footer
---------------------------------------------------------*/
  .footer{
    background: #33cc77;
    padding: 0;
    margin: 0;
  }
  .copyright{
    font-size: 1.2rem;
    font-family: "Times New Roman",serif;
    color: #474747;
    margin: 0;
    padding: 10px 0 10px 0;
    text-align: center;
  }
  .copyright a{
    text-decoration: none; /*リンクの下線を表示させないため*/
    color: #474747;   /*colorをつけないと文字が紫になる(1回クリックしたから)*/
  }

/*---------------------------Takatani Note------------------------------
  accordion
------------------------------------------------------------------------*/
#open {
  max-width: 1200px;
  margin-bottom:2.2rem;
  margin-top:-1.5rem;
}

#open > dt {
  border-radius: 10px;
  border: solid 1px #474747;
  padding: 0.4rem 0.7rem 0.4rem 0.7rem;
}

#open > dd {
  border: dotted 1px;
  border-top: none;
  padding: 10px;
  margin: 0.2rem;
  margin-bottom:2.2rem;
}

dd{
  line-height: 1.8;
}




/*---------------------------Takatani Note---------------------------------
  blockquote(引用)
--------------------------------------------------------------------------*/


blockquote {  
   position: relative; 
   z-index: 1; 
   margin: 2rem 0.5rem 3.5rem 0.5rem;  
   padding: 2rem 0.5rem 0.6rem 1.7rem; 
   border-radius: 10px;  
   border: dashed 2px ;
   }
blockquote:before { 
   display: inline-block;  
   position: absolute; top: -20px; 
   left: 5px; z-index: 10;  
   content: "”"; 
   color: #333333;  
   font-size: 500%;
   }
blockquote:after { 
   display: inline-block;  
   position: absolute; 
   top: 0px; right: 10px;  
   content: "”"; 
   color: #ddd;  
   font-size: 400%;
   } 
blockquote p {    
  margin: 0;  
}


/*---------------------------Takatani Note---------------------------------
  table
--------------------------------------------------------------------------*/

.tab{
  font-size:1rem;
 /* font-family: "Times New Roman",serif;
  font-family: "MSゴシック",sans-serif;  */ 
}
table.tab{
  margin-bottom:2rem;
border-collapse: collapse;
}
/*
.tex th{background-color:#c1c1c1;}
table.tex, .tex td, .tex th{border:solid 0.5px}
*/



.tab td {border:solid 0.5px gray;}

.tab th{
  border-top:solid 0.1px gray; 
  border-bottom:solid 3px gray;
  border-left:solid 0.1px gray;
  border-right:solid 0.1px gray;
  font-size:1rem;
  font-weight:normal;
  padding-right:0.6rem;
  padding-left:0.5rem;
  text-align:left;
}



.tex{
  font-size:1.05rem;
  font-family: Consolas, 'Courier New', Courier, Monaco, monospace;
 /* font-family: "Times New Roman",serif;
  font-family: "MSゴシック",sans-serif;  */ 
}
table.tex{
  margin-bottom:2rem;
border-collapse: collapse;
}
/*
.tex th{background-color:#c1c1c1;}
table.tex, .tex td, .tex th{border:solid 0.5px}
*/



.tex td {border:solid 0.5px gray;}

.tex th{
  border-top:solid 0.1px gray; 
  border-bottom:solid 3px gray;
  border-left:solid 0.1px gray;
  border-right:solid 0.1px gray;
  font-size:1rem;
  font-weight:normal;
  padding-right:0.6rem;
  padding-left:0.5rem;
  text-align:left;
}


td.center {text-align: center;}
td { padding: 0.5rem;}
td.diagram {
  text-align: center;
  padding: 0.1rem;
}


code {
   margin-bottom: 1rem;
   font-size:1.1rem;
  font-family: Consolas, 'Courier New', Courier, Monaco, monospace;
  /* font-family: "Times New Roman",serif; */
}
pre{ 
  margin-bottom: 1rem;
}

.str{ /*構文*/
  margin-left: 4px; 
  margin-right: 4px;
  padding: 0.7rem 0.4rem 0.7rem 0.4rem;
  border-color: #474747;
  margin-bottom:2.2rem;

  border: double  3.5px;
}

.code-container {
  position: relative;
}

.copy-button {
  background-color: #666666;
  color: #fff;
  border: none;
  border-radius: 5px;
  padding: 5px 10px;
  margin: 1px 5px;
  cursor: pointer;
  position: absolute;
  top: 10px;
  right: 10px;
}



/*---------------------------Takatani Note---------------------------------
  パンくずリスト
--------------------------------------------------------------------------*/

ul.pan  {
  list-style: none; 
  padding-left: 0.2rem;
  margin-top: 2rem; 
  margin-bottom: 2rem;
  text-align: center;
}

.pan li{
  margin-bottom:2rem;
  margin-right:0.5rem;
}
.pan li a{
  display: block;
  text-decoration: none;
  border: solid 1.5px; 
  border-radius: 20px;
  color: black;
  font-size: 1.02rem;
  padding: 0.6rem 0.7rem 0.6rem 0.7rem;
}
.pan li a:visited {
   color: black;
}
.pan li a:hover {
   text-decoration: none;
}

.share {
  list-style: none;
  overflow: hidden;
  padding:0;
  margin-top:0.5rem;
}
 
.share li {
  width: 33%;
  text-align: center;
  float: left;
}
 
.share li a {
  text-decoration: none;
}
.share li a img{
  width: 60px;
}

.macro,   #math, 
#math-ko, #math-li, #math-to,
#math-co, #math-ma, #math-di, 
#math-gr, #math-ri, #math-fi, #math-ho,
#math-cr, #math-al, #math-me, #math-op,
#math-tex{
  display:none;
}

.keisan td{
  padding:0;
  margin:0;
}
.keisan td input{
  text-align:right
}



body{
 counter-reset: ttt ; 
}
.example:after{
  font-size:1.15rem;
  counter-increment: ttt;
  content: " "counter(ttt) ; 
}

b{
font-family:'\30e1\30a4\30ea\30aa',Meiryo,'\30D2\30E9\30AE\30CE\89D2\30B4\20\50\72\6F\20\57\33','Hiragino Kaku Gothic Pro','\FF2D\FF33\20\FF30\30B4\30B7\30C3\30AF','MS PGothic',sans-serif;
font-size:1rem;
}/* 太字bold用*/


.mono {
    font-family: Consolas, 'Courier New', Courier, Monaco, monospace;
  font-size: 1.1rem;
    line-height: 1.7rem;
 }/*tex font */


/*
.latex p, .latex h2, .latex h3, .latex ul{
    font-family: Consolas, 'Courier New', Courier, Monaco, monospace;
}*/

.latex p, .latex table{
  margin-bottom:2.2rem;
}


.tbl-group td{
  text-align:center;
}/* group/symmetric-group.html */

.img-float{
  float:right;
}


/* パソコン版表示css*/
.pc{display:block;}
.phone{display:none;}

/*-- スマホ版表示CSS  --*/
@media screen and (max-width: 768px){
.pc{display:none;}
.phone{display:block;}
}


/* ------------------------------ */