/* Default css file for jemdoc. */
@import url('https://fonts.googleapis.com/css2?family=Roboto+Condensed&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Roboto&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Noto+Sans+JP&family=Roboto&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Inter&display=swap');

table#tlayout {
	border: none;
	border-collapse: separate;
	background: white;
}


html {
    display: table;
	margin: auto;
	width: 100%;
}
body {
	background: white;
	font-family: "Inter", Helvetica, sans-serif;

	width: 100%;
	display: table-cell;
	vertical-align: middle;
}

.content {
	padding-top: 10px;
	padding-bottom: 10px;
	padding-left: 10px;
	padding-right: 10px;
	align-content: center;
	margin: 0 auto;
}

tt {
	background: #fffffe;
}

pre, tt {
	font-size: 90%;
	font-family: monaco, monospace;
}

a, a > tt {
	color: #1b357c;
	text-decoration: none;
}

a:hover  {
	/* font-weight: bold; */
	border-bottom: 1px gray solid;
}

#layout-content {
	padding-top: 1.0em;
	padding-left: 1.0em;
	padding-right: 1.0em;
	border: none;
	background: white;
	text-align: left;
	vertical-align: top;
	width: auto;
	text-align: center;
}


div#toptitle {
	padding-bottom: 0.2em;
	margin-bottom: 1.5em;
	border-bottom: 1px solid #bbbbbbbb;
}

/* Reduce space if we begin the page with a title. */
div#toptitle + h2, div#toptitle + h3 {
	margin-top: -1.4em;
}



em {
	font-style: italic;
}

strong {
	font-weight: bold;
}

b {
	font-weight: bold;
}

h1, h2, h3 {
	color: #3a3a3a;
	font-weight: bold;
	margin-top: 0.7em;
	margin-bottom: 0.3em;
	padding-bottom: 0.2em;
	line-height: 1.0;
	padding-top: 0.5em;
}

h1 {
	font-size: 115%;
}

h2 {
	padding-top: 0.8em;
	font-size: 110%;
}

h2 + h3 {
	padding-top: 0.2em;
}

h3 {
	font-size: 105%;
	border-bottom: none;
}

p {
	margin-top: 0.0em;
	margin-bottom: 0.8em;
	padding: 0;
	line-height: 1.3;
	font-size: 100%;
	/* font-size: 1.0vw; */
}

pre {
	padding: 0;
	margin: 0;
}

div#footer {
	font-size: 70%;
	border-top: 1px solid #bbbbbbbb;
	padding-top: 0.1em;
	margin-top: 4.0em;
	text-align: center;
	color: #c0c0c0;
}

div#footer a {
	color: #404040;

}

div#footer-text {
	float: center;
	padding-bottom: 8px;
}

ul, ol, dl {
	margin-top: 0.2em;
	padding-top: 0;
	margin-bottom: 0.8em;
}

dt {
	margin-top: 0.5em;
	margin-bottom: 0;
}

dl {
	margin-left: 20px;
}

dd {
	color: #222222;
}

dd > *:first-child {
	margin-top: 0;
}

ul {
	list-style-position: outside;
	list-style-type: square;
}

p + ul, p + ol {
	margin-top: -0.5em;
}

li ul, li ol {
	margin-top: -0.3em;
}

ol {
	list-style-position: outside;
	list-style-type: decimal;
}

li p, dd p {
	margin-bottom: 0.3em;
}


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

ol ol ol {
	list-style-type: lower-roman;
}

p + div.codeblock {
	margin-top: -0.6em;
}

div.codeblock, div.infoblock {
	margin-right: 0%;
	margin-top: 1.2em;
	margin-bottom: 1.3em;
}

div.blocktitle {
	font-weight: bold;
	color: #cd7b62;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
}

div.blockcontent {
	border: 1px solid silver;
	padding: 0.3em 0.5em;
}

div.infoblock > div.blockcontent {
	background: #eafbed;
}

div.blockcontent p + ul, div.blockcontent p + ol {
	margin-top: 0.4em;
}

div.infoblock p {
	margin-bottom: 0em;
}

div.infoblock li p, div.infoblock dd p {
	margin-bottom: 0.5em;
}

div.infoblock p + p {
	margin-top: 0.8em;
}

div.codeblock > div.blockcontent {
	background: #f6f6f6;
}

span.pycommand {
	color: #000070;
}

span.statement {
	color: #008800;
}
span.builtin {
	color: #000088;
}
span.special {
	color: #990000;
}
span.operator {
	color: #880000;
}
span.error {
	color: #aa0000;
}
span.comment, span.comment > *, span.string, span.string > * {
	color: #606060;
}

#fwtitle {
	margin: 2px;
}

#fwtitle #toptitle {
	padding-left: 0.5em;
	margin-bottom: 0.5em;
}

#layout-content h1:first-child, #layout-content h2:first-child, #layout-content h3:first-child {
	margin-top: -0.7em;
}

div#toptitle h1, #layout-content div#toptitle h1 {
	margin-bottom: 0.0em;
	padding-bottom: 0.1em;
	padding-top: 0;
	margin-top: 0.5em;
	border-bottom: none;
}

img.eq {
	padding: 0;
	padding-left: 0.1em;
	padding-right: 0.1em;
	margin: 0;
}

img.eqwl {
	padding-left: 2em;
	padding-top: 0.6em;
	padding-bottom: 0.2em;
	margin: 0;
}

table {
	border: 2px solid black;
	border-collapse: collapse;
}

td {
	padding: 2px;
	padding-left: 0.5em;
	padding-right: 0.5em;
	text-align: center;
	border: 1px solid gray;
}

table + table {
	margin-top: 1em;
}

tr.heading {
	font-weight: bold;
	border-bottom: 2px solid black;
}


table.imgtable, table.imgtable td {
	border: none;
	text-align: left;
}

/* .tex sub, .latex sub, .latex sup, .bib sub {
	text-transform: uppercase;
} */

/* .tex, .latex, .tex sub, .latex sub {
	font-size: 1em;
} */

/* .tex sub, .latex sub {
	vertical-align: -0.5ex;
	margin-left: -0.1667em;
	margin-right: -0.125em;
} */

/* .latex sup {
	font-size: 0.85em;
	vertical-align: 0.15em;
	margin-left: -0.36em;
	margin-right: -0.15em;
} */

/* .bib sub {
	font-size: 0.75em;
	vertical-align: 0ex;
	margin-left: -0.05em;
	margin-right: 0em;
} */

.avatar {
    display: block;
	border-radius: 50%;
    box-sizing: border-box;
    background-color: #DDD;
	margin-left: auto;
	margin-right: auto;
	width: 20%;
}


.icenter {
	display: block;
	
  margin-left: auto;
  margin-right: auto;
}

#teaching{
	border: 2px solid white;
}

#teaching td{
	border: 2px solid white;
}

/* menu */

.topnav {
  overflow: hidden;
  background-color: white;
  box-shadow: 0px 0px 6px 0px rgba(0,0,0,0.2);
  transition: 0.5s;
}

.topnav a {
  float: left;
  display: block;
  color: #363636;
  text-align: center;
  padding: 20px 16px;
  font-size: 115%;
}

.topnav a:hover {
  background-color: #eee;
  color: #4CAF50;
  /* font-weight: bold; */

}

.topnav a.active {
  background-color: white; 
  color: #4CAF50;
}


.topnav a:first-child{
	color:  #4CAF50; 
	font-weight: bolder;
	/* background: url(images/bg_separator.gif) no-repeat right center; */
}

.topnav .icon {
  display: none;
  padding: 10px 15px;
}


/* sticky menu */
.sticky {
	position: fixed;
	top: 0;
	width: inherit;
}

.sticky + .content {
	padding-top: 65px;
}



@media screen and (max-width: 835px) {
	.topnav a {
		padding: 10px 10px;
	}

	.sticky + .content {
		padding-top: 40px;
	}

	.topnav a:not(:first-child) {display: none;}

	.topnav a.active{
		display: inline;
		color:  #4CAF50; 
		font-weight: normal;
		text-align: left;
		background: url(images/bg_separator.gif) no-repeat left center;

	}
	
	.topnav a:first-child{
		color:  #4CAF50; 
		font-weight: bold;
		text-align: left;
		background: none;
	}



  .topnav a.icon {
    float: right;
	display: block;
	position: absolute;
	right: 0px;
	color:  #4CAF50; 
  }

  .topnav a:hover{
	border-bottom: none;
  }
}

@media screen and (max-width: 835px) {
  /* .topnav {
	height: 44px;
  } */
  .topnav.responsive {
	position: fixed;
	width: 100%;
	/* height: 0px; */
	top: 0;
	left: 0;
	right: 0;
	bottom: 0;
	background-color: rgba(255, 255, 255);
	z-index: 100;
	cursor: pointer;
	overflow-y: scroll;
  }
  
  .topnav.responsive .icon {
  	position: absolute;
    right: 0px;
	top: 0;
	color:  #4CAF50; 
	background-color: white;
  }
  .topnav.responsive a {
    float: none;
    display: block;
	text-align: left;
  }
  .topnav a:hover{
	background-color: white;
	font-weight: bold;
	border-bottom: none;
  }

  .avatar {
	width: 150px;
  }

}

@media (min-width: 835px) {
	html {
			font-size: 16px;
	}
	.content{
		width: 835px; 
	}
	.topnav {
		display: flex;
		justify-content: center;
	}
}


@media (max-width: 835px) {
	html {
			font-size: 16px;
			width: 100vw;
	}
	
}


@media screen and (min-width: 835px) {
	div#toptitle {
		display: none;
	}
	/* Reduce space if we begin the page with a title. */
	div#toptitle + h2, div#toptitle + h3 {
		margin-top: -0.1em;
	}
}

@media screen and (max-width: 835px) {
	div#toptitle {
		display: none;
	}
	/* Reduce space if we begin the page with a title. */
	div#toptitle + h2, div#toptitle + h3 {
		margin-top: -0.1em;
	}
}


#myBtn {
  display: none;
  position: fixed;
  bottom: 30px;
  right: 30px;
  z-index: 99;
  font-size: 12px;
  border: none;
  outline: none;
  background-color: #4CAF50;
  color: white;
  cursor: pointer;
  padding: 12px;
  border-radius: 4px;
}
#myBtn::after {
  content: "\f077";
  font-family: FontAwesome;
  font-weight: normal;
  font-style: normal;
  font-size: 1em;
  line-height: 14px;
  color: #fff;
}
#myBtn:hover {
  background-color: #2d652f;
}

@media print {

	body {
	  margin: 0;
	  color: #000;
	  background-color: #fff;
	}

	.topnav a {
		padding: 5px 10px;
	}
	.topnav a.active  {
		background-color: #fff;
		color:  #2d652f;
		font-weight: bolder;
	}
	.topnav a:first-child {
		background-color: #fff;
		color:  #2d652f;
	}
  }