/*
 * Style sheet for technical papers (for HTML 4.0)
 * Created: 26 Sep 1998
 * Author:  Theppitak Karoonboonyanan
 */

body {
  background: #FFFBF0;
  color: black;
}
a:link {
  color: blue;
}
a:visited {
  color: olive;
}
a:active {
  color: fuchsia;
}

/*
H1:before {
  counter-reset: section;
}
*/

h1 {
  padding-top: 24px;
  padding-bottom: 24px;
  text-align: center;
  /*font-family: helvetica, sans-serif;*/
  color: #006699;
}

/*
H2:before {
  content: counter(section);
  counter-increment: section;
}
*/

h2 {
  text-align: left;
  /*font-family: helvetica, sans-serif;*/
  color: maroon;
}

h3 {
  text-align: left;
  /*font-family: sans-serif;*/
  font-weight: bold;
}

h4 {
  text-align: left;
  text-indent: 2em;
  /*font-family: serif;*/
  font-weight: bold;
}

h5 {
  text-align: left;
  text-indent: 2em;
  /*font-family: serif;*/
  font-weight: bold;
  font-style: italic;
}

div.abstract {
  margin-left: 20%;
  margin-right: 20%;
  padding-top: 12px;
  padding-bottom: 12px;
  border-top-width: medium;
  border-bottom-width: medium;
  border-top-style: dashed;
  border-bottom-style: dashed;
  border-top-color: red;
  border-bottom-color: red;
  text-align: center;
}

div.abstract p {
  /*font-family: "Times New Roman", Georgia, serif;*/
  font-style: italic;
  color: gray;
}

div.illustration {
  text-align: center;
}

/*
LI, P, DT, DD {
  font-family: helvetica, sans-serif;
}
*/

dd {
  padding-bottom: 12px;
}

p {
  text-indent: 2em;
  /*font-family: times, "Times New Roman", serif;*/
}

li p {
  text-indent: 0em;
}

p.footer {
  text-align: left;
  text-indent: 0;
  /*font-family: times, "Times New Roman", serif;*/
  font-size: smaller;
}

p.copyright {
  text-align: left;
  text-indent: 0;
  /*font-family: times, "Times New Roman", serif;*/
  font-size: smaller;
  font-weight: bold;
}

tt, pre {
  /*font-family: courier, "Courier New", monospace;*/
}

pre {
  margin-left: 3em;
}

img {
  border: none;
  vertical-align: middle;
}

table, th, td {
  border: 1px solid black;
  border-collapse: collapse;
}

table.multicol {
  border: none;
}

table.multicol th {
  border: none;
}

table.multicol td {
  border: none;
}

div.sample {
  margin-left: 3em;
  /*font-family: courier, "Courier New", monospace;*/
}

div.banner {
  padding-top: 12px;
  padding-bottom: 12px;
  border-top-width: thin;
  border-bottom-width: thin;
  border-top-style: solid;
  border-bottom-style: solid;
  border-top-color: gray;
  border-bottom-color: gray;
  text-align: center;
}

div.banner p {
  /*font-family: helvetica, sans-serif;*/
  font-size: smaller;
}

div.ads {
  text-align: center;
}