/* Style sheet for Jena user manual documents */
/* CVS $Id: doc.css,v 1.3 2006/01/18 14:33:48 chris-dollin Exp $ */

/* Media-specific rules */

/* Nice margin on web pages, don't bother for printed pages */
@media print {
    body { margin-left: 0; margin-right: 0; }
}

@media screen, projection {
    body { margin-left: 5%; margin-right: 5%; }
}

/* Non media-specific rules */

body {
	font-family: Verdana, Arial, Helvetica, sans-serif ;
	font-size: 10pt ;
	color: black;
	background: white ;
}

/* Broswer CSS2 table support is rather "individual" */

table {
  /* font-family: Verdana, Arial, sans-serif ; */
  /* font-size: 10pt ; */
  border-color : black ;
  border-collapse: collapse ;
  border-spacing: 0 ;
  border-style: solid ;
  border-width: 0px;
  border: 0;
  cellspacing: 0 ;
  cellpadding: 0 ;
}

td {
  background-color: white ;
  border-width: 1px ;
  border-collapse: collapse;
  border-color : #808080 ;
  empty-cells: show;
  padding: 2 ;
  spacing: 0 ;
  vertical-align:top;
  text-align:left;

}


th {
  border-collapse: collapse;
  border-width: 1px ;
  border-color: #808080 ;
  empty-cells: show;
  padding: 5 ;
  vertical-align:top;
  text-align:center;
}


.noindent     { margin-left: -5% ; margin-right: -5%; }
.moreindent   { margin-left:  5% ; margin-right:  5%; }


/* Use this for the document title as displayed on the page at the top. */
h1 {
    font-size: 135%;
    font-weight: bold;
    color:#000;
    background:#CADFF4;
    padding: 1px;
    text-align:center;
}

h2 {
    font-size: 110%;
    font-weight: bold;
    color: #003399;
    background:#CADFF4;
    margin-bottom:5px;
}

h3, h4, h5 {
    font-size: 100%;
    font-weight: bold;
    margin-bottom:3px;
}

ul { list-style-type: disc }
dt { font-weight: bold }


blockquote {
    margin-bottom: 2mm ;
    margin-left: 5ex ;
    }

pre
    {
    background-color: lightGray
    ; margin-left: 2em
    ; margin-right: 2em
    }



/* Change background/foreground colour on hover */

A:link { color: rgb(0, 0, 255) }        /* for unvisited links */
A:hover { color: rgb(255, 0, 0) }       /* when mouse is over link */

/* Some general utility definitions */
.centered {
    text-align: center;
}

.caption {
    text-align: center;
    font-size: smaller;
}

code {
    font-size: 10pt;
}

.footnote {
    font-size: smaller;
    border-top: thin solid gray;
}