body {
  /* background-color: red; */

  /* bootstrap navigation bar */
  /* padding-top: 50px; */  
  margin-bottom: 30px;
  
}

h1 {
  margin-top : 20px;
  margin-left : 20px;
  margin-bottom : 30px;
  font-size: 20pt;
}

h2 {
  margin-top : 10px;
  margin-left : 25px;
  margin-bottom : 15px;
  font-size: 14t;
}

.pDisc {
  margin-left: 35px;
  width : 450px;
}

.defList {
  margin-left: 45px;
}



/* 数式左詰め */

.temp-left mjx-container[jax="CHTML"][display="true"] {
	text-align: left;
	margin-top : 15px;
	margin-bottom : 15px;
	margin-left: 120px;
}