@font-face {
    font-family: notoSans;
    font-style: normal;
    font-weight: 400;
    src: url(NotoSans-unhinted/NotoSans-Regular.ttf) format('truetype');
}
@font-face {
    font-family: notoSans;
    font-style: normal;
    font-weight: 700;
    src: url(NotoSans-unhinted/NotoSans-Bold.ttf) format('truetype');
}
@font-face {
    font-family: notoSans;
    font-style: italic;
    font-weight: 400;
    src: url(NotoSans-unhinted/NotoSans-Italic.ttf) format('truetype');
}
@font-face {
    font-family: notoSans;
    font-style: italic;
    font-weight: 700;
    src: url(NotoSans-unhinted/NotoSans-BoldItalic.ttf) format('truetype');
}

@font-face {
  font-family: 'IM Fell English SC';
  font-style: normal;
  font-weight: 400;
  src: local('IM FELL English SC'), local('IM_FELL_English_SC'),
       url('fonts/im-fell-english-sc-v6-latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
       url('fonts/im-fell-english-sc-v6-latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}


body {
  background: #E0E0E0;
  font-size: 120%;
}

p {
  margin-bottom:0.5ex;
}

.code {
  font-family: monospace;
}

.g::before {
  content: '"';
}

.g::after {
  content: '"';
}

.sm {
  margin-top: 5px;
  margin-bottom: 5px;
}

div.main {
  background: #F0F0E0;
  width: 800px;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0px;
  border-radius: 5px;
  padding: 10px 25px 50px 25px;
  box-shadow: 2px 0 2px black;
  font-family: Arial, notoSans;
}

div.center {
  text-align:center;
}

div.part {
  text-align: center;
  font-family: 'IM Fell English SC', cursive; 
/*  font-weight: bold; */
/*    font-style: italic;*/
  font-size: 120%;
  margin-bottom:20px;
}

div.date {
  text-align: center;
  font-family: sans-serif;  
  font-size: 110%;
  margin-bottom:20px;
}

div.subtitle {
  text-align:center;
  font-size:120%;
  margin-bottom:20px;
}

div.summary {
  font-size:90%;
  font-family: serif;
  margin: auto;
  width: 600px;
  margin-bottom: 10px;
  text-align: justify;
}

div.title {
  text-align: center;
  font-size : 160%;
  font-family : 'IM Fell English SC', cursive;
  margin-bottom: 10px;
}

div.title2 {
  text-align: center;
  font-size : 130%;
  font-family : serif; 
  font-style: italic;
  margin-bottom: 10px;
}

div.title3 {
  text-align: center;
  font-size : 130%;
  font-family : serif;
  margin-bottom: 10px;
}

pre {
  white-space: pre-wrap;
  color: #000040;
  background: rgba(255,255,255,0.4);
  padding: 5px;
  border-radius:5px;
}

pre.term {
  color: #FFFFF0;
  background: rgb(20,20,10);
}