@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+ */
}

/* nanum-gothic-regular - latin */
@font-face {
  font-family: 'Nanum Gothic';
  font-style: normal;
  font-weight: 400;
  src: local('NanumGothic'),
       url('fonts/nanum-gothic-v17-latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
       url('fonts/nanum-gothic-v17-latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* nanum-gothic-800 - latin */
@font-face {
  font-family: 'Nanum Gothic';
  font-style: normal;
  font-weight: 800;
  src: local('NanumGothic ExtraBold'), local('NanumGothic-ExtraBold'),
       url('fonts/nanum-gothic-v17-latin-800.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
       url('fonts/nanum-gothic-v17-latin-800.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* m-plus-1p-regular - latin_latin-ext_greek */
@font-face {
  font-family: 'A';
  font-style: normal;
  font-weight: 400;
  src: url('fonts/m-plus-1p-v19-latin_latin-ext_greek-regular.eot'); /* IE9 Compat Modes */
  src: local('M PLUS 1p'), local('MPLUS1p-Regular'),
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-regular.woff2') format('woff2'), /* Super Modern Browsers */
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-regular.woff') format('woff'), /* Modern Browsers */
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-regular.ttf') format('truetype'), /* Safari, Android, iOS */
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-regular.svg#MPLUS1p') format('svg'); /* Legacy iOS */
}

/* m-plus-1p-700 - latin_latin-ext_greek */
@font-face {
  font-family: 'A';
  font-style: normal;
  font-weight: 700;
  src: url('fonts/m-plus-1p-v19-latin_latin-ext_greek-700.eot'); /* IE9 Compat Modes */
  src: local('M PLUS 1p Bold'), local('MPLUS1p-Bold'),
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-700.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-700.woff2') format('woff2'), /* Super Modern Browsers */
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-700.woff') format('woff'), /* Modern Browsers */
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-700.ttf') format('truetype'), /* Safari, Android, iOS */
       url('fonts/m-plus-1p-v19-latin_latin-ext_greek-700.svg#MPLUS1p') format('svg'); /* Legacy iOS */
}

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

p {
  margin-bottom:0.5ex;
}

h4 {
  font-weight: 400;
  font-size: 80%;
  text-align: center;
  margin-top: 1ex;
  margin-bottom: 1ex;
}

.code {
  font-family: monospace;
}

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

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

.sm {
  margin-top: 1ex;
  margin-bottom: 1ex;
}

.md {
  margin-top: 2ex;
  margin-bottom: 2ex;
}

.bg {
  margin-top: 3ex;
  margin-bottom: 3ex;
}


div.main {
  background: #F0F0E0;
  width: 1200px;
  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: Linux libertine;
}

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: 800px;
  margin-bottom: 10px;
  text-align: justify;
}

div.summary::before {
  content: "Abstract: ";
}

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);
}

u {
  text-decoration: none;
  color: DarkViolet;
/*  color: Fuchsia;*/
/*  color: MediumVioletRed;*/
}

div.directive {
  font-style: italic;
  text-indent: 2em;
}

div.credit {
  font-size: 80%;
}

table {
  font-size: inherit;
  display: inline-block;
}

table.bord {
  border-collapse: collapse;
}

table.bord th, table.bord td {
  border: 2px solid black;
}

table.bord th, table.bord td {
  padding: 5px;
}

.my-pre {
  font-family: monospace;
  white-space: pre;
}

.box {
  border: 2px solid black;
  padding: 3px;
}