@import url("/assets/stylesheet.css");
@import url('https://fonts.googleapis.com/css2?family=EB+Garamond:ital,wght@0,400..800;1,400..800&family=Nanum+Gothic&family=Noto+Sans+JP:wght@100..900&family=Noto+Serif+JP:wght@200..900&display=swap');

body {
  background-image: linear-gradient(to right, rgba(33,77,68,0.2), rgba(11,61,101,0.2) 35%, rgba(11,61,101,0.2) 65%, rgba(82,33,112,0.2));
  color: black;
  font-family: "Lucida Bright";
  font-size: 16px;
}

span.R {color:#c00000;font-weight:bold;}
span.G {color:#00c000;font-weight:bold;}
span.B {color:#0060c0;font-weight:bold;}
span.M {color:#8000c0;font-weight:bold;}
span.Y {color:#e0a000;font-weight:bold;}
span.K {color:#606060;font-weight:bold;}
span.W {color:#c0c0c0;font-weight:bold;}

/* ul,ol {  display: block;  list-style-type: disc;  list-style-position: outside;  margin-block-start: 1em;  margin-block-end: 1em;  padding-inline-start: 33.6px;} */

/*li {  margin-left: 0;  margin-right: 3em;  margin-bottom: 0.5em;}li ol, li ul {  margin-top: 0.5em;  margin-bottom: 0.5em;}li ol li, li ul li {  margin-left: 0;  margin-right: 0em;}*/

h1 {
  font-size: 32px;
}

h1.title {
  text-align: center;
  margin-left: 20%;
  margin-right: 20%;
  font-size: 44px;
}

h3 {
  text-align: center;
}

blockquote {
  font-weight: bold;
  font-family: "Courier New", monospace;
  font-size: 14px;
  background-color: #EFEFEF;
  max-width: 600px;
  margin-left: auto;
  margin-right: auto;
  line-height: 1.35;
  padding: 25px;
}

body {
  margin: 0;
  padding: 0;
}

#container {
  margin-left: auto;
  margin-right: auto;
  margin-top: -20px;
  width: 80%;
  min-width: 886px;
  background: rgba(255, 255, 255, /*0.75*/ 0.9);
  padding: 20px 10px 8px 10px;
}

div.example {
  width: 760px;
  margin: 10px auto 10px auto;
  padding: 0 15px 0 15px;
  border: #204020 solid 1px;
  background-color: #d1fedb;
}

div.example::before {
  width: 790px;
  text-align: center;
  border: none;
  background-color: #a5ebb4;
  content: "Example"attr(exampleid);
  display: block;
  margin-left: -15px;
  padding: 8px 0 6px 0;
  font-variant: small-caps;
  font-size: 24px;
}

div.example li {
  margin-top: 8px;
  margin-bottom: 8px;
}

.rule.sub {
  padding-left:4em;
  padding-right:4em;
}

.rule::before {
  display:block;position:relative;left:-120px;top:3px;
  overflow-x:visible;overflow-y:visible;width:100px;height:0;
  content:attr(id);
  font-size:12px;
  text-align:right;
  opacity:0;
  transition:0.1s;
}

.rule:hover::before {
  opacity:0.8;
}

.note {
  margin-left: 36px;
  margin-top: -8px;
  font-size: 12px;
  opacity:0.7;
  font-style: italic;
}

.note::before {
  content:"※ ";
  font-style: normal;
}

span.math {
  white-space: pre;
}

.dcghl {
  position: relative;
  display: inline-block;
}

.dcghl .body, .dcghl .e {
  line-height: 1.5em;
  background-color: #703625;
  color: white;
  border-width: 0 1px 0 1px;
  border-style: solid;
  padding: 0 5px 0 5px;
  border-color: #703625;
  align: right;
  clip-path: polygon(95% 0, 100% 50%, 95% 100%, 5% 100%, 0% 50%, 5% 0%);
  white-space: nowrap;
}

.dcghl .t {
  line-height: 1.5em;
  background-color: #272d67;
  color: white;
  border-width: 0 1px 0 1px;
  border-style: solid;
  padding: 0 5px 0 5px;
  border-color: #272d67;
  align: right;
}

.dcghl .ev {
  line-height: 1.5em;
  background-color: #013c5e;
  color: white;
  border-width: 0 1px 0 1px;
  border-style: solid;
  padding: 0 5px 0 5px;
  border-color: #013c5e;
  align: right;
}

span.evo {
  background: black;
  color: white;
  font-size: 90%;
}

.dcghl .tr {
  line-height: 1.5em;
  background-color: #9c0c5f;
  color: white;
  border-width: 0 1px 0 1px;
  border-style: solid;
  padding: 0 5px 0 5px;
  border-color: #9c0c5f;
  align: right;
  -moz-border-radius: 0.5em;
  -webkit-border-radius: 0.5em;
  border-radius: 0.5em;
}

.dcghl .trn {
  line-height: 1.5em;
  background-color: #9f0100;
  color: white;
  border-width: 0 1px 0 1px;
  border-style: solid;
  padding: 0 5px 0 5px;
  border-color: #9c0c5f;
  align: right;
  -moz-border-radius: 0.5em;
  -webkit-border-radius: 0.5em;
  border-radius: 0.5em;
}

table.splitscreen {
  width: 80%;
  margin: 0 auto 0 auto;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  border-collapse: collapse;
}

table.splitscreen tr th {
  border: 1px solid black;
  font-size: 24px;
}

table.splitscreen tr td {
  width: 50%;
  border-left: 1px solid black;
  border-right: 1px solid black;
  padding: 8px 5px 8px 5px;
}

table.splitscreen tr td:nth-child(1) {
  opacity: 50%;
}

figure {
  width: 1000px;
  text-align: center;
  margin: 0 auto 0 auto;
}

figure img {
  margin: 0 5px 10px 5px;
  width: 215px;
}

figure figcaption {
  text-align: justify;
  font-size: 90%;
}