@charset "utf-8"; /* -*- coding: utf-8; -*- */

/* font base setting */

@import url('https://fonts.googleapis.com/css2?family=Fira+Sans+Condensed:ital,wght@0,400;0,600;1,400;1,600&family=Inconsolata:wght@400;700&family=Noto+Serif:ital,wght@0,400;0,700;1,400;1,700&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Source+Sans+Pro:ital,wght@0,300;0,400;0,700;1,300;1,400;1,700&display=swap');

@import url('coderay-oiwa.css');

:root {
    --title-fonts: "Fira Sans Condensed", "Tahoma", 
    "Helvetica Condensed", "Helvetica", "Arial Narrow", "Arial",
    "Yu Gothic", "YuGothic", "Meiryo", "MS Gothic", sans-serif;
    --text-fonts: "Source Sans Pro", "Helvetica", "Arial",
    "Yu Gothic", "YuGothic", "Meiryo", "MS Gothic", sans-serif;
    --monospaced-fonts: "Inconsolata", "Roboto Mono", "Lucida Console", "Courier New", "Courier", monospace;
    --sans-serif-fonts: "Fira Sans Condensed", "Lucida Sans Unicode", "Tahoma", 
    "Helvetica Condensed", "Helvetica", "Arial Narrow", "Arial",
    "Yu Gothic", "YuGothic", "Meiryo", "MS Gothic", sans-serif;
    --serif-fonts: "Palatino Linotype", "Book Antiqua", "Palatino",
    "Times New Roman", "Yu Mincho", "YuMincho", "MS Mincho", serif;
    --monospaced-fonts: "Inconsolata", "Roboto Mono", "Lucida Console", "Courier New", "Courier", monospace;
}

body {
     font-family: var(--text-fonts);
     font-size: 100%;
     margin: 0;
     display: flex;
     flex-direction: column;
     min-height: 100vh;
     background-image: url(bg3.jpg);
     background-color: #f5fcff;
}

/* Sans Serif Fonts */
H1, H2, H3, H4, H5, H6, 
span.autoindex-fileinfo,
span.common-linkupdate,
nav#breadcrumb,
div#footer,
span.mark-uc,
th,
span.sans, div#footer-rcsid {
    font-family: var(--title-fonts);
}

H1, H2, H3, H4, H5, H6, th {
    font-weight: 600;
}

p, ul, ol { 
     line-height: 150%;
}

/* header */
header {
  margin: 0pt 0pt;
  padding: 0pt 10pt;
  background: #ffffff;
}
header h1 {
  margin: 0pt -10pt;
}

header div#header-navline {
  padding: 0.5em 0em;
  width: 100%;
  text-align: left;
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: flex-end;
}

header nav#oldbrowser {
  display: none;
}

.oldbrowser {
  color: #800000;
}

div#header-navline nav#breadcrumb {
  margin-right: auto;
  margin-left: 0;
}

div#header-navline nav#header-lang,
div#header-navline span#header-update {
  margin-right: 10pt;
  margin-left: 0;
}

nav#breadcrumb {
  font-size: 100%;
}
nav#breadcrumb ol {
  display: inline;
  padding: 0pt;
}
nav#breadcrumb ol:before {
  content: '[';
}
nav#breadcrumb ol:after {
  content: ']';
}
nav#breadcrumb li {
  display: inline;
  list-style-type: none;
}
nav#breadcrumb li:before {
  content: " » ";
}
nav#breadcrumb li:first-child:before {
  content: none;
}
nav#header-lang ul {
  display: inline;
  padding: 0pt;
}
nav#header-lang ul:before {
  content: '[[';
}
nav#header-lang ul:after {
  content: ']]';
}
nav#header-lang li {
  display: inline;
  list-style-type: none;
}
nav#header-lang li:before {
  content: " | ";
}
nav#header-lang li:first-child:before {
  content: none;
}
header nav#header-lang li.nav-current span.lang-label {
  font-weight: bold;
}
header nav#header-lang li a span.lang-label {
  font-style: italic;
}
header nav#header-lang li a span.lang-flag {
    /* show only "colored emoji", ignoring font colors */
    color: #ffffff;
    /* color: rgba(255,255,255,0) /* not sure that alpha is applicable for emojis */;
}

nav#header-lang {
  font-size: 90%;
}
span#header-update {
  font-size: 70%;
}

span#header-logo img {
  border: 0px;
}

/* body */

div#body_container {
  display: flex;
  flex-direction: row-reverse;
  flex-wrap: wrap;
  width: 100%;
  margin: 0pt;
}

#body {
  margin: 5pt 30pt;
  flex: 4;
  min-width: 72%;
  padding: 10pt;
}

main, article {
  margin: 0pt;
  padding: 0pt;
  display: flex;
  flex-wrap: wrap;
}

section {
  border: 1px solid #c0c0c0;
  margin: 10pt 2pt;
  padding: 0 10pt 0;
  background-color: #ffffff;
  width: 100%;
  clear: both;
}

section > *:last-child
{ margin-bottom: 7pt;
  /* this margin can be overriden by other rules */
}

section:after {
    display: block;
    content: '';
    clear: both;
}

section.twocolumn {
  flex: 35% 1;
  min-width: 400px;
}

div.clear {
  clear: both;
}

H1 { /* page title */
     font-weight: 600;
     font-size: 200%;
     color: #000000; 
     background-color: #40b0ff;
     text-align: center;
     padding: 1em 1em;
     margin: 0pt;
     clear: both;
}

H2 { /* section title */
     font-size: 140%;
     color:#6060c0;
     border: solid #4080c0;
     border-width: 0pt 0pt 0pt 5pt;
     padding-left: 7pt;
     margin: 10pt -10pt;
     margin-top: 5pt;
}

section H2 {
    clear: both;
}

section > H2:first-child,
section > H3:first-child {
     margin-top: 0;
     padding-top: 2pt;
}

section > H2:last-child,
section > H3:last-child {
     margin-bottom: 0;
     padding-bottom: 2pt;
}

H3 { /* subsection title */
     font-size: 120%;
     color: #6060c0;
     border: solid #000080;
     border-width: 0pt 0pt 0pt 3pt;
     padding-left: 7pt;
     margin: 10pt 0;
}

H4 {
     font-size: 110%;
     color:#6060c0;
     margin: 8pt 20% 5pt 0;
     padding-left: 5pt;
     padding-right: 5pt;
     border: solid #6060c0;
     border-width: 0.7pt 0 0.7pt 0;
}

H5 {
     font-size: 110%;
     color:#6060c0;
     margin: 0.8em 30% 0.5em 0;
     border: solid #6060c0;
     border-width: 0 0 0.5pt 0;
}

H6 {
     font-size: 100%;
     color:#6060c0;
     margin: 0.8em 40% 0.5em 0;
}

/* static content generated */

span.common-linkupdate,
span.autoindex-fileinfo {
  font-size: 80%;
  font-weight: 400;
  color:#6060c0;
}

div.common-header-link {
  font-size: 90%;
}

span.link-uc {
  color: #555;
}

span.mark-uc:after {
  content: ' \01f6a7';
  font-size: 120%;
}
span.mark-uc {
  color: #630;
  font-size: 70%;
}

/* coderay */

section pre {
  font-family: var(--monospaced-fonts);
  font-size: 95%;
  border-width: 1px;
  border-style: dotted;
  border-color: black;
  padding: 3pt;
  background-color: #e0f0ff;
  margin-right: 0em;
  overflow-x: auto;
}

table {
  border-collapse: collapse;
}

table th, table td {
  border: 1px #669 solid;
  padding: 2pt 3pt;
}

.directory-listing table th, 
.directory-listing table td {
  border: 0px;
}

main dl { margin-left: 5em; }
main dt { display: inline-block;
  font-weight: 700;
  width: auto;
  min-width: 4.4em;
  margin-left: -5em;
  margin-right: 0.6em;
}
main dt + dt, dl.wide dt { display: block; }
/* not yet supported */
main dl dt:has(> dt) { display: block; }
main dl dt + dt:has(> dd) { display: inline-block; }

main dl dd { display: inline; margin-left: 0em; }
main dl dd + dd, main dt + dt + dd { display: block; }
main dl dd:after { display: block; content: ""; }

table td {
  border: 1px #669 solid;
}

span.nospam { display: none; }
.phantom { width: 0; display: none; border-width: 0; }
hr.block { 
           margin: 10pt 5pt
}

a.footnote::after {
  content: ')';
}

div.footnotes::before {
  content: "";
  width: 10em;
  display: block;
  border-bottom: 1px #000 solid;
  margin-bottom: 1pt;
}

div.footnotes {
  width: 100%;
  box-sizing: border-box;
  padding-left: 20pt;
  margin-top: 5pt;
  font-size: 90%;
}

section blockquote {
    font-weight: 400;
    font-family: var(--title-fonts);
     border-width: 1px;
     border-style: solid;
     border-color: black;
     padding: 3pt;
     width: auto;
     background-color: #e0f0ff;
     margin-right: 0em;
}

/* sidebar */

#sidebar {
  flex: 1;
  min-width: 200px;
  color: blue;
  background-color: #e0f0ff;
  padding: 2px 2px 5px 2px;
  margin-left: -1px;
  margin-right: 0px;
  vertical-align: top;
  border-width: 1px 1px 1px 1px;
  border-style: solid;
  border-color: #568;
}

#sidebar section {
  margin: 1pt 0pt 3pt 0pt;
  background-color: #eef;
  font-size : 90%;
  margin-left: auto;
  border-style: solid;
  border-color: #aaf;
  border-width: 2px 3px 3px 3px;
  padding: 0pt;
  width: auto;
}

#sidebar section h2.title,
#sidebar section h2,
#sidebar section h3.title {
  background-color: #aad;
  font-size: 100% !important;
  text-align: center;
  color: #001;
  border: #777 1px solid;
  margin: 0pt !important;
  padding: 1px;
}

/* footer */

footer {
  margin: 0pt 0pt;
  margin-top: auto;
}

div#footer-container {
  display: flex;
}
div#footer {
  width: 100%;
  font-weight: 400;
  padding: 10pt 15pt 0pt;
  border-top: thin solid #000;
  background-color: #ffffff;
  margin: 0;
  font-size: 80%;
  line-height: 1.4;
}
div#footer-myname {
  font-size: 120%;
}
div#footer-myaddr P {
  margin-bottom: 2pt;
  padding-bottom: 0;
}
div#footer-myaddr UL {
  margin-top: 0;
  padding-top: 0;
  line-height: 1.2;
}
div#footer-myaddr span.mail-address {
  font-style: italic;
}
div#footer-rcsid {
  padding-top: 5pt;
  padding-right: 10pt;
  color: #667;
  background-color: #fff;
  font-size: 50%;
  text-align: right;
}

/* adjustment with viewport size */

@media  (max-width: 720px) {
  header { margin-left: 20pt; margin-right: 20pt; }
  div#body_container { display: block; width: 100%; }
  main, article { display: block; width: auto; }
  #body { margin-left: 10pt; margin-right: 10pt; }
  section { width: auto; }
  section.twocolumn { min-width: 0px; }
}
@media (max-width: 480px) {
  header { margin-left: 10pt; margin-right: 10pt; }
  #body { margin-left: 2pt; margin-right: 2pt; }
}

@media print {
    header { margin-left: 10pt; margin-right: 10pt; }
    #body { margin-left: 2pt; margin-right: 2pt; }
    nav#sidebar {
	display: none;
    }
}

/* Firefox workaround: broken printing flex-boxes. */
@supports (-moz-user-select: none) {
    @media print {
	div#body_container, main, article {
	    display: block;
	}
    }
}