body {
    background-color:#ffffff;
    font-size:medium;
    color:#000000;
    font-weight:400;
    margin-left: 1em;
    margin-right:1em;
}

h1.title {
    margin-left:auto;
    margin-right:auto;
    font-size:xx-large;
    text-align:center;
    border-width: 2px 0ex 2px 0pt;
    border-style: solid;
    border-color: #6090ef;
}

.info {
    padding-top: 0px;
    padding-bottom: 4px;
    padding-left: 4px;
    padding-right: 4px;
    border-style: solid;
    border-color: #6090ef;
    border-width: 2px 2px 2px 2px;

}

h2 {
    margin: 1em 0em 0em 0em;
    text-indent: 4px;
    font-size: x-large;
    font-weight: 600;
    border-width: 0px 0px 1px 6px;
    border-style: solid;
    border-color: #6090ef;
}

h3 {
    font-size:large;
    margin: 0.5em 0em 0em 0em;
    border-style: solid;
    border-width: 0em 0em 1px 0em;
    border-color:#6090ef;
}

h4 {
    font-size:medium;
}

pre.code {
    border:             solid thin black;
    width:              auto;
    padding:            5px;
    background-color:   white;
    white-space:        pre;
    font-size:          small;
}

.console {
  padding-top: 4px;
  padding-bottom: 4px;
  padding-left: .5em;
  background-color: #2d4f4f;
  color: #fffafa;
  font-family: monospace;
  margin-left: 1em;
  border-width: 2px;
  border-style: ridge;
}

.cmd {
  padding-top: 4px;
  padding-bottom: 4px;
  padding-left: .5em;
  background-color: #ffffff;
  color: #cccccc;
  font-family: monospace;
  border-width: 2px;
  border-style: ridge;
}

caption {
    font-weight: bold;
    text-align: center;
}

div.sign, div.footer {
    width:              100%;
    text-align:         right;
}

.remark {
    color: #000080;	/* navy */
    font-size: 90%;
    /* margin-left: 3em; */
    border-color: #000080;	/* navy */
    border-style: solid;
    border-width: 1px;
    padding: 0.5em 0.5em 0.5em 0.5em;
}

div.fig {
    clear: both;
    font-size: small;
    border-color: #cccccc;	/* silver */
    border-width: 1px;
    border-style: solid;
    padding: 0.5em 0.5em 0.5em 0.5em;
}