@charset "utf-8";

//@import "reset.less";
//ソースコード用フォント
@import url(https://fonts.googleapis.com/css?family=Source+Code+Pro);

//textwidgetはウィジット用
.entry,.textwidget{
	@import (inline,optional)"reset.css";
}

.entry,.entry:after,.entry:before,.textwidget{
	all: initial;
	//all:unset;
	//background:#000000;
}

.entry,.textwidget{
	h1,h2,h3,h4,h5,h6{
		span{all:unset;}
	}
}

//ヘッダー用文字
.site-title,.custom-logo-link{
	color:#fff;
	font-size: xxx-large;
	font-weight: bold;
	text-shadow:1px 1px 0 #000,-1px 1px 0 #000,1px -1px 0 #000,-1px -1px 0 #000;
}
//サイトの説明
.site-description{
	color:#fff;
	font-size: large;
	font-style: normal;
	font-weight: bold;
	text-shadow:1px 1px 0 #000,-1px 1px 0 #000,1px -1px 0 #000,-1px -1px 0 #000;
}

//アドセンス用に背景色を変更
ins{ background: transparent !important; }
//ins.adsbygoogle { background: transparent !important; }


/*.entry:{
	all: initial ;
	color:#0000ff;
	background:#ff00ff;
}

/*
.entry{
	all: unset;
}
*/


@line-height: 1.5em;

body{
	font-family: 'VL ゴシック','Courier New',Courier,'メイリオ','ＭＳ ゴシック',arial,freemono,monospace;
}

//公開日
.post-byline{
	display:none;
}

//サムネイルを表示しない
.post-thumbnail,.post-date{
	display:none;
}
.post-standard,.post-inner {
    padding-left: 0px!important;
}

//抜粋
.excerpt{
	color:#006600!important;
//	margin-left:2em;
	margin:0em;
}


body{
	counter-reset:h1 h2 h3 h4;//初めにカウンターをリセット
	counter-reset: math;//初めにカウンターをリセット

}

body .entry,.textwidget{
//	overflow-x: hidden;//横スクロールバーを消す
	tab-size :4;
	h1,h2,h3,h4,h5,h6{
		font-size:150%;
		font-weight:bold;
		padding: 0.25em 0em 0.25em 0.25em;
		//margin-bottom:10em;
		border-left: 8px solid #0000cc;
		border-bottom: 1px solid #0000cc;		
		display:block!important;
	}
	h1, h2, h3, h4 { line-height: 1.1; margin: 0.5em; }
//	counter-reset: part ct;

//}
//		line-height:@line-height;

/*	body {
		counter-reset: part;
		line-height:@line-height;
	}*/

//body .entry{
	line-height:@line-height;
	counter-reset:h1 h2 h3 h4;//初めにカウンターをリセット

	h1 { counter-reset: h2; }
	h1:before {
		content: counter(h1) ". ";
		counter-increment: h1;
	}
	h2 {counter-reset: h3;border-color:#0000ff;}
	h2:before {
		content: counter(h2) ". ";
		counter-increment: h2;
	}
	h3 { counter-reset: h4;border-color:#008888}
	h3:before {
		content: counter(h2) ". " counter(h3) ". ";
		counter-increment: h3;
	}
	h4 { counter-reset: h5;border-color:#00ff00}
	h4:before {
		content: counter(h2) ". " counter(h3) ". " counter(h4) ". ";
		counter-increment: h4;
	}

	
	.math{
		.math_h(@color){
			all:unset;
			all: initial;
			font-size:100%;
			font-weight:bold;
			padding: 0.25em 0em 0.25em 0.25em;
			//margin-bottom:10em;
			//border-left: 2px solid @color;
			//border-bottom: 1px solid #0000cc;		
			color:@color;
			background-color:lighten(@color, 45%);
			//background-color:spin(@color, 180);
			background-color:#eee;
			&:before{
				content:"";
			}
		}

		h1{
			.math_h(#800);
		}
		h2{
			.math_h(#808);
		}
		h3{
			.math_h(#008);
		}
		h4{
			.math_h(#088);
		}
		h5{
			.math_h(#080);
		}
		h6{
			.math_h(#888);
		}
	}	

//}
	//数式を左寄せ
/*	.MathJax_Display {
		text-align: left ;
		text-indent: 2em ;
	}
*/
	/*
	.math{
		float:left ;
		margin:1em;
	}*/
//.entry{
	.box(@title,@color){
		border: 2px solid darken(@color, 10%);		
		display: block;
//		position: relative;
//		top:10em;
		//background-color:fadeout(@color, 98%);
		background-color:lighten(@color, 98%);

		padding:0.2em 0.5em;//0.5em 1em;
		margin:1em;
		box-shadow: 10px 10px 10px #000;
//		border-radius: 0 10px 10px 10px;
		border-radius: 10px 10px 10px 10px;
		position: relative;
		//top: @line-height + 1em;
		//margin-bottom: @line-height + 1em+@line-height;
	}
	.box-before(@title,@color){
		counter-increment: math;
		content:"@{title} "counter(math)"\A";
		//counter-increment: math;

//		display: block;
//		width:1px;
		background: darken(@color, 10%) ;
		color:#ffffff ;
//		padding:0.1em 1em;//0.5em 1em
		padding:0.3em 1em 0.3em 1em;

		margin:0em;
//		height:2em;
//		width:9999px;
		position: relative;
//		left:-2px;
		left:-1em;

//		top:-@line-height - 0.3em;//-@line-height - 1em
		top:-1px;

		font-weight:bold;
		border: 0px solid #ff0000;
		white-space: pre;
//		border-radius: 10px 10px 0 0 ;
		border-radius: 10px 5px 5px 5px ;

	}
	.scr{
		.math;
		//counter-increment: math -1;
		.box('???',#000000);
		background: darken(#000000, -95%) ;
		//background:#000000;

		&:before{
			.box-before('???',#000000);
			counter-increment: math -1;
		}
	}
	.non{
		.box('なし',#000000);
		&:before{
			.box-before('なし',#000000);
		}
	}
	.def{
		.box('定義',#ff0000);
		&:before{
			.box-before('定義',#ff0000);
		}
	}
	.thm{
		.box('定理',#00ff00);
	}
	.thm:before{
		.box-before('定理',#00ff00);
	}
	.prp{
		.box('命題',#00ff00);
	}
	.prp:before{
		.box-before('命題',#00ff00);
	}
	.lem{
		.box('補題',#00ff00);
	}
	.lem:before{
		.box-before('補題',#00ff00);
	}
	.prf{
		.box('証明',#ff00ff);
	}
	.prf:before{
		.box-before('証明',#ff00ff);
	}
	.spp{
		.box('補足',#000000);
	}
	.spp:before{
		.box-before('補足',#000000);
	}

	.prb{
		.box('問題',#0000ff);
	}
	.prb:before{
		.box-before('問題',#0000ff);
	}
	.sol{
		.box('解',#ffff00);
	}
	.sol:before{
		.box-before('解',#ffff00);
	}

	.mem{
		.box('メモ',#000000);
	}
	.mem:before{
		.box-before('メモ',#000000);
	}
	
	.exc{
		.box('抜粋',#00ff00);
	}
	.exc:before{
		.box-before('抜粋',#00ff00);
	}

	.smm{
		.box('概要',#00ff00);
	}
	.smm:before{
		.box-before('概要',#00ff00);
	}
	
	.exp{
		.box('解説',#0000ff);
	}
	.exp:before{
		.box-before('解説',#0000ff);
	}
	.exm{
		.box('例',#0000ff);
	}
	.exm:before{
		.box-before('例',#0000ff);
	}	
	.img_list{
		.box('画像一覧',#00ff00);
//		display: inline-block;
		img {
			vertical-align: middle;
			width: auto;
			height: 30px;
		}
	}
	.img_list:before{
		.box-before('画像一覧',#00ff00);
	}
//}
	
	/*
省略記法一覧

thm	定理
cor	系
lem 補題
prop(prp) 命題
conjecture(cnj)	予想
defn(def) 定義
example(exm) 例
problem(prb) 問題
xca	演習
sol 解
rem 注意
claim(clm) 主張
casenv(csn) ケース
proof(prf) 証明
fact(fct) 事実

explanation(exp)解説
derivation(drv)導出
	
axi 公理
supplement(spp) 補足
*/

	.frm{
		border: 1px solid;
		border-radius: 5px;
		padding:0.5em;
	}

	//font-familyはデベロッパーツールではおかしいがおそらく大丈夫
	font-family: 'VL ゴシック','Courier New',Courier,'メイリオ','ＭＳ ゴシック',arial,freemono,monospace;
//	line-height:1.5em;

	color:#000000;
	//max-width:40em;

	a {color:#44f!important;}
	a:link { color: #44f!important; }
	a:visited { color: #44f!important; }
	a:hover { text-decoration:underline; } 

	//記事一覧
	ul.postlist {
		margin:1em,0em,0em,0em;//上だけ余白を大きく
		//list-style: none!important;
		li{
			list-style: none!important;
			border: 1px solid #777777;
			padding: 0.5em;
			margin: 0px;
		}
		li:hover{
			background-color: #eef;
		}
		li.ads{
			list-style: none!important;
			border: 0px solid #777777;
			padding: 1.0em,0.5em;//上下の余白を大きく
			margin: 0px;
		}
		li.ads:hover{
			background-color: transparent;//初期値
		}
		.postlist-title{
			font-size:150%;
		}
	}
	//カテゴリーリンク
	div.catelink {
		margin:1em,0em,0em,0em;//上だけ余白を大きく
		//list-style: none!important;
			list-style: none!important;
			border: 1px solid #777777;
			padding: 1.0em 0.5em;
			margin: 0px;
		.title{
			font-size:120%;
		}
	}
	div.catelink:hover{
		background-color: #eef;
	}
	div.ads{
		border: none;
		//padding: 1.0em 0.5em;//上下の余白を大きく
		margin: 1.0em 0em;//上下の余白を大きく
	}


	






	em{
		font-weight:bold;
		color:#00aa00;
	}
	strong{
		font-weight:bold;
		color:#0000ff;
	}
	strong em{
		font-weight:bold;
		color:#ff0000;	
	}
	
	table.tbl {
		table-layout: auto;
		width:auto;
		border-collapse: collapse; /* 隣り合うセルの線を結合 */
		border: 1px solid black;    /* 外側は黒色の実線1px */
		//border-collapse: separate;/*角丸*/
		//border-radius: 10px;/*角丸*/
		
		td{
			border: 1px solid black;    /* 内側は黒色の実線1px */
			text-align:left;
			vertical-align: middle;
			padding:0.5em 1em;
		}
		tr:nth-of-type(2n+1){background:#eeeeee}
		tr:nth-of-type(2n){background:#ffffff}

		th{
			background:#cccccc;
			border: 1px solid black;    /* 内側は黒色の実線1px */
			font-weight:bold;
			text-align:center;
			vertical-align: middle;
			padding:0.5em 1em;
		}
		.tblup{
			color:#000044;
			background:#ddddff;
		}
		.tblupleft{
			color:#440044;
			background:#ffddff;
		}
		.tblleft{
			color:#440000;
			background:#ffdddd;
		}
	}

	pre{
		background:#ffffff;
		border-style:none;
		 
		overflow: hidden;
		padding:0.5em;
		margin:1em 0;
		//font-size:1rem ;
	}


	pre>code{
		font-family: "Source Code Pro",monospace,sans-serif !important;
		font-size:1rem ;

		/*all: unset;*/
		//width:40em	
	}
	.ol_code>pre{
		margin: 0.5em 0em;
		padding:0em;
		background:#ffffff;
		border-style:none;
		code{
			/*all: unset;*/
			display: inline-block;
			font-family: unset;
			border-radius: 10px;
			background:#000000 ;
			//background-color:#000000 ;
			padding:0.2em 0.8em;
			margin: 0em;
		}
	}
	code{
		font-family: unset;
		font-size:100%;
		color:#dddddd;
		background:#333333;
		padding:0.1em;
		border-radius: 3px;
}
	
	.math{
			overflow-x: auto;
			overflow-y: hidden;
	}

//画像表示
	.imgs{
		display:block;
		text-align: center;
		span{
			display: inline-block;
			//height: 80px;
			margin-right: 15px;
			margin-bottom: 0px;
			img {
				object-fit: contain;
				height: 100%;
			}
		}
		.figcomment{
			display:block;
			text-align:center;
			font-style:italic;
			color:#666666;
		}
	}


	//トップページ(home)のタイトルを非表示にする
/*
	.home .site-content .entry-header {
    	position: absolute;
    	clip: rect(1px, 1px, 1px, 1px);
    	background-color: transparent;
	}
*/

	/*highlight.js行番号用*/
	.hljs-ln{
		padding:0em 0em;
		margin:0em;
		white-space: pre-wrap;
		color:#ffffff;
	}
	/*.hljs-ln td,th{
		padding:0.5em 0em;
		margin:0em;
	}*/
	.hljs-ln-numbers {
		-webkit-touch-callout: none;
		-webkit-user-select: none;
		-khtml-user-select: none;
		-moz-user-select: none;
		-ms-user-select: none;
		user-select: none;

		text-align: right;
		color: #888;
		background:#000000;
		vertical-align: top;
		padding-right: 5px;
		padding:0.3em 1em;
		font-size:1rem;
		border: 0px solid black;
		border-right: 1px solid #888;
		width:1em;

	}
	.hljs-ln-code {
		text-align: left;
		background:#000000;
		padding:0.3em 1em;
		font-size:1rem;
		border: 0px solid black;


	}
}