/* CSS for PlDoc, the SWI-Prolog source documentation system
   Author: Jan Wielemaker
   Copying: Public domain

   For a tutorial on CSS, see
   <http://www.htmldog.com/guides/cssbeginner/selectors/>
*/

h1.file, h1.module, h1.dir, h1.wiki
{
  background-color: #0c3d6e;
  color: #FFF;
  clear: both;
  padding: 4px 24px 4px 24px;
  font-size: 32px;
  font-family: Source Sans Pro, sans;
  margin-top: 15px;
  margin-bottom: 15px;
}

h2.wiki,h3.wiki,h4.wiki
{
  background-color: #0c3d6e;
  color: #FFF;
  clear: both;
  padding: 2px 10px 2px 10px;
  font-size: 18px;
  font-family: Source Sans Pro, sans;
}

.undef
{ color: red;
}

a.builtin
{ color: navy;
}

.defbody
{ margin-bottom: 1em;
}

table.arglist
{ border-top: 1px solid #888;
}

table.arglist td:nth-child(1)
{ font-style: italic;
  font-weight: bold;
  padding-right: 1em;
}

table.arglist td,table.paramlist td
{ vertical-align: top;
}

.pred, .det, .functor
{ font-weight: bold;
}

span.nopredref
{ font-weight: bold;
}

span.pred-tag
{ float: right;
  font-style: italic;
  color: #fff;
}

dl.tags dt
{ font-weight: bold;
}

dt.keyword-bug, dt.keyword-deprecated, dt.keyword-tbd
{ font-weight: bold;
  color: red;
}

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

dt.pubdef    { background-color: #0c3d6e; }
dt.multidef  { background-color: #ef9439; }
dt.publicdef { background-color: #016300; }
dt.privdef   { background-color: #207ad4; }
h2.undoc,
dt.undoc     { background-color: #ffbc87; }

img.action
{ border: 0;
  padding-top: 0.2em;
  height: 1em;
}

dl.tags
{ font-size: 80%;
  margin-top: 0.5em;
}

dl.latex, ul.latex, ol.latex
{ margin-top: 0.7em;
  margin-bottom: 1em;
}

dl.termlist
{ margin-top: 0.7em;
  margin-bottom: 1em;
  margin-left: 1.5em;
}

dl.undoc
{ margin-top: 0.7em;
}

dl.wiki
{ margin-top: 0.7em;
  margin-bottom: 1em;
  margin-left: 1.5em;
}

dl.wiki dt
{ font-weight: bold;
  font-size: 90%;
}

.argdescr
{ padding-left: 1em;
}

table.wiki
{ margin-top: 0.7em;
  margin-left: 1.5em;
  border: 1px outset blue;
  border-spacing: 0;
}

table.wiki td
{ border: 1px inset gray;
  padding: 3px;
  vertical-align: top;
}

table.wiki td.left   { text-align: left; }
table.wiki td.center { text-align: center; }
table.wiki td.right  { text-align: right; }

img.icon
{ border: 0;
  height: 32px;
  float: right;
  padding-top: 4px;
}

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;
}

/* Navigation bar */

div.navhdr
{ border: 1px dotted;
  padding: 5px 5px 3px 5px;		/* top,right,bottom,left */
  background-color: #f0f0f0;
  clear: both;
}

div.navhdr div.jump
{ float: left;
}

div.navhdr div.search
{ float: right;
}

div.src_formats
{ text-align: right;
  color: #444;
  font: smaller;
  border: 1px #ccc solid;
  padding-right: 5px;
  margin-bottom: 2px;
}

/* Summary index */

table.summary
{ width: 100%;
  margin: 1ex 0px;
  -webkit-border-horizontal-spacing: 0px;
  -webkit-border-vertical-spacing: 0px;
  border-spacing: 0px;
}

table.summary th.category
{ text-align: center;
  font-size: 150%;
  font-weight: bold;
  border: none;
  color: #0c3d6c;
  padding-top: 0.5em;
  padding-bottom: 0.4em;
  background-color:  #0c3d6c;
}

table.summary th.category-bottom-sep
{ background-color: inherit;
  font-size: 50%;
}

table.summary th.category-top-sep
{ background-color: inherit;
}

table.summary th.section
{ text-align: left;
  background-color: #0c3d6c;
  color: #FFF;
  padding: 6px 10px;
}

table.summary th.section a
{
   color: #FFF;
}

table.summary th
{ text-align: left;
  background-color: #0c3d6e;
  color: #FFF;
  padding: 6px 10px;
}

table.summary th a
{ color: #FFF;
}

table.summary td
{ /*overflow:hidden; white-space:nowrap; text-overflow:ellipsis;*/
  vertical-align: top;
}

table.summary td a
{ color: #0c3d6e;
}

tr.private
{ color: #FFF;
  background-color: #a3bcd5;
  padding: 6px 10px;
}

table.summary tr.private td a
{ color: #FFF;
}

tr.private td
{ padding: 6px 10px;
}

tr.public td
{ padding: 3px 10px;
}

/* Navigation tree */

div.navcontent
{ margin-left: 14em;
  margin-right: 58px;				/* Sync with website */
  background-color: #f6f5ee;
  padding: 0px 5px;
  position: relative;
}

div.navwindow:hover
{ box-shadow: 10px 10px 10px #bbb;
}

div.navwindow
{ display: inline-block;
  background-color: #f6f5ee;
  padding-right: 5px;
}

div.navtree:hover
{ overflow-x: visible;
  padding-right: 5px;
  z-index: 2;
  position: relative;
}

div.navtree
{ width: 12em;
  overflow-x: hidden;
  white-space: nowrap;
  margin-left: 8px;
  margin-right: 1em;
  float: left;
  background-color: #f6f5ee;
}

ul.nav
{ padding: 0px 0px 0px 0.5em;
  margin: 0px;
  list-style-type: none;
}

li.nav.current > a
{ font-weight: bold;
  color: #0c3d6e;
}

li.nav a
{ color: #000;
  text-decoration: none;
  background-color: #f6f5ee;
}

li.nav a:hover
{ text-decoration: underline;
}

/* Packs */

table.packs
{ margin-left: 5%;
  border: 1px solid;
}

table.packs th
{ background: url("h2-bg.png") top left;
  text-align: left;
}

option.packs
{ font-weight: bold;
}

/* Search */

span.for
{ font-style: italic;
}

div.search-counts
{ font-style: italic;
  font-size: smaller;
  margin-bottom: 1em;
}

div.search-counts.showing
{ margin-top: -1em;
}

span.search-showing
{ display: inline-block;
  font-style: normal;
  font-weight: bold;
  text-align: right;
  margin-right: 1ex;
  width: 12ex;
}

span.search-time
{ margin-left: 1ex;
}

div.pagination
{ font-size: 120%;
  text-align: center;
  margin-bottom: 2ex;
}

div.pagination > .current
{ margin: 0px 1ex;
}

div.pagination > a
{ background-color: #0c3d6e;
  color: #FFF;
  padding: 3px 1ex;
  border-radius: 3px;
  text-decoration: none;
}

div.search-options
{ font-size: 70%;
  white-space: nowrap;
}

div.search-options input
{ -ms-transform: scale(0.7);		/* IE */
  -moz-transform: scale(0.7);		/* FF */
  -webkit-transform: scale(0.7);	/* Safari and Chrome */
  -o-transform: scale(0.7);		/* Opera */
  position:relative;
  top: 4px;
  margin-right: 0px;
}

span.search-in, span.search-match
{ border: 1px inset;
  padding: 3px 5px 1px 1px;
}

span.search-help
{ padding-left: 1em;
}

div.search-no-matches
{ font-size: 200%;
  margin: 1ex 0pt;
}

div.synopsis
{ text-align: right;
}

span.synopsis-hdr
{ font-weight: bold;
  padding-right: 1ex;
}

div.synopsis code
{ background-color: #e0e0e0;
}

span.autoload
{ margin-left: 5pt;
  font-style: italic;
  font-size: 80%;
  color: #888;
}

span.builtin, span.cfunc
{ margin-left: 5pt;
  font-style: italic;
}

span.anot
{ float: right;
  margin-right: 5pt;
  font-style: italic;
  font-size: smaller;
  padding-top: 0.2em;
  color: #fff;
}

span.file_anot
{ vertical-align: text-top;
  margin-right: 5pt;
  font-style: italic;
  font-size: 60%;
  color: #fff;
}

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

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

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


span.sec-nr
{
}

span.sec-title
{ margin-left: 0.5em;
}

/* Listing support */

dl.comment, div.comment
{ color: #006400;
  border: 2px inset;
  padding: 5px 5px 0px 5px;

  background-color: #e5e5e5;
  margin-top: 2em;
  margin-bottom: 1em;
}

pre.listing
{ margin-top: 0;
  margin-bottom: 0;
  -moz-tab-size: 8;
  tab-size: 8;
}

span.line-no
{ font-weight: normal;
  color: #999;
  background-color: #f7f7f7;
  padding-right: 4px;
  border-right: 1px solid #ddd;
  margin-right: 5px;
}

div.comment h1.module
{ margin-top: 0;
}

a.prolog_version
{ font-style: italic;
  font-size: 70%;
}

a.nofile				/* non-existing file-link */
{ color: black;
  font-family: monospace;
  text-decoration: none;
}

a.nofile:hover				/* non-existing file-link */
{ color: red;
  text-decoration: underline;
}

/* Tables from latex2html (incomplete) */

table.center
{ margin: auto;
}

table.latex
{ border-collapse:collapse;
}

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

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

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

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

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

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

/* Term rendering */

span.pl-ellipsis	{}
span.pl-var		{color:#8b0000;font-style:italic;}
span.pl-avar		{color:#8b0000;font-style:italic;}
span.pl-atom		{}
span.pl-quoted-atom	{color:#000080;}
span.pl-string		{color:#000080;}
span.pl-int		{}
span.pl-float		{}
span.pl-curl		{}
span.pl-compound	{}
span.pl-list		{}
span.pl-var-tail	{color:#8b0000;font-style:italic;}
span.pl-nonvar-tail	{color:#800;}
span.pl-compound	{}
span.pl-dict		{}
span.pl-key		{font-weight:bold;}
span.pl-constraint	{color:#008b8b;}
span.pl-comment		{color: #060; font-style: italic;}
span.pl-blob {
   border-radius: 1em;
   background-color: #444;
   margin: 0.1ex;
   padding: 0ex .5ex 0.2ex 0.5ex;
   color:#fff
}

span.pl-compound.pl-level-0 > .pl-functor,
span.pl-compound.pl-level-0 > .pl-prefix,
span.pl-compound.pl-level-0 > .pl-infix,
span.pl-compound.pl-level-0 > .pl-postfix
{font-weight:bold;}

blockquote
{ border-left: 5px solid #ccc;
  margin-left: 5px;
  padding: 0px 14px;
  color: #555;
}

code.copy::after, a.copy::after
{ content: "\29C9";
  vertical-align: super;
  font-size: 80%;
}

code.copy::after
{ background-color: #f6f5ee;
}

code.copy, a.copy
{ cursor: copy;
}
