/*
 * 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: sans-serif;
  color: #006699;
}

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

h2 {
  text-align: left;
  font-family: 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: serif;
}

li p {
  text-indent: 0em;
}

p.footer {
  text-align: left;
  text-indent: 0;
  font-family: serif;
  font-size: smaller;
}

p.copyright {
  text-align: left;
  text-indent: 0;
  font-family: 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;
}

div.definition {
  margin: 0 3em 0 3em;
  padding: 1em;
  background-color: #fcc;
}

div.definition p {
  text-indent: 0;
}

div.pseudocode {
  white-space: pre;
  margin: 0 3em 0 3em;
  padding: 1em;
  background-color: #cee;
}

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: sans-serif;
  font-size: smaller;
}

div.ads {
  text-align: center;
}