body {
  color: #252525;
  font-family: 'Verdana','MS PGothic','Courier','Lucida Grande','Times New Roman','Consolas','Meiryo','MS Gothic';
  font-size: 13pt;
  line-height: 150%;
  letter-spacing: 1px;
  background-color: #888fff;
  margin: 20px 50px 20px 50px;
}

pre {
  line-height: 1.0;
  padding: 0px 20px 0px 20px;
  box-shadow: 5px 5px 5px rgba(0,0,0,0.5);
  overflow-x:auto;
}

pre.code {
  background-color: black;
}

pre.samp {
  background-color: silver;
}

code {
  color: white;
  font-family: 'Courier';
  font-size: 11pt;
  line-height: 130%;
}

samp {
  color: black;
  font-family: 'MS Gothic';
  font-size: 11pt;
  line-height: 130%;
}

.margin {
  margin: 55px;
}

.mathjax {
  font-size: 13pt;
}

.title {
  font-family: 'MS Gothic';
  font-weight: bold;
  line-height: 0.0;
}

#title {
  line-height: 3.0;
  text-align: center;
}

#title a {
  color: gold;
  font-size: 35pt;
  text-decoration: none;
}