/* Style sheet for SWI-Prolog latex2html
*/

dd.defbody
{ margin-bottom: 1em;
}

dt.pubdef, dt.multidef
{ color: #fff;
  padding: 2px 10px 0px 10px;
  margin-bottom: 5px;
  font-size: 18px;
  vertical-align: middle;
  overflow: hidden;
}

dt.pubdef   { background-color: #0c3d6e; }
dt.multidef { background-color: #ef9439; }

.bib dd
{ margin-bottom: 1em;
}

.bib dt
{ float: left;
  margin-right: 1.3ex;
}

pre.code
{ margin-left: 1.5em;
  margin-right: 1.5em;
  border: 1px dotted;
  padding-top: 5px;
  padding-left: 5px;
  padding-bottom: 5px;
  background-color: #f8f8f8;
}

div.navigate
{ text-align: center;
  background-color: #f0f0f0;
  border: 1px dotted;
  padding: 5px;
}

div.title
{ text-align: center;
  padding-bottom: 1em;
  font-size: 200%;
  font-weight: bold;
}

div.author
{ text-align: center;
  font-style: italic;
}

div.abstract
{ margin-top: 2em;
  background-color: #f0f0f0;
  border: 1px dotted;
  padding: 5px;
  margin-left: 10%; margin-right:10%;
}

div.abstract-title
{ text-align: center;
  padding: 5px;
  font-size: 120%;
  font-weight: bold;
}

div.toc-h1
{ font-size: 200%;
  font-weight: bold;
}

div.toc-h2
{ font-size: 120%;
  font-weight: bold;
  margin-left: 2em;
}

div.toc-h3
{ font-size: 100%;
  font-weight: bold;
  margin-left: 4em;
}

div.toc-h4
{ font-size: 100%;
  margin-left: 6em;
}

span.sec-nr
{
}

span.sec-title
{
}

span.pred-ext
{ font-weight: bold;
}

span.pred-tag
{ float: right;
  padding-top: 0.2em;
  font-size: 80%;
  font-style: italic;
  color: #fff;
}

div.caption
{ width: 80%;
  margin: auto;
  text-align:center;
}

/* Footnotes */
.fn {
    color: red;
    font-size: 70%;
}

.fn-text, .fnp {
    position: absolute;
    top: auto;
    left: 10%;
    border: 1px solid #000;
    box-shadow: 5px 5px 5px #888;
    display: none;
    background: #fff;
    color: #000;
    margin-top: 25px;
    padding: 8px 12px;
    font-size: larger;
}

sup:hover span.fn-text
{ display: block;
}

/* Lists */

dl.latex
{ margin-top: 1ex;
  margin-bottom: 0.5ex;
}

dl.latex dl.latex dd.defbody
{ margin-bottom: 0.5ex;
}

/* PlDoc Tags */

dl.tags
{ font-size: 90%;
  margin-left: 5ex;
  margin-top: 1ex;
  margin-bottom: 0.5ex;
}

dl.tags dt
{ margin-left: 0pt;
  font-weight: bold;
}

dl.tags dd
{ margin-left: 3ex;
}

td.param
{ font-style: italic;
  font-weight: bold;
}

/* Index */

dt.index-sep
{ font-weight: bold;
  font-size: +1;
  margin-top: 1ex;
}

/* Tables */

table.center
{ margin: auto;
}

table.latex
{ border-collapse:collapse;
}

table.latex tr
{ vertical-align: text-top;
}

table.latex td,th
{ padding: 2px 1em;
}

table.latex tr.hline td,th
{ border-top: 1px solid black;
}

table.frame-box
{ border: 2px solid black;
}