/**
  HAPPRIME - manual.css
  CHA stylesheet
  Paul Smith
  
  Copyright (C)  2007
  Paul Smith
  National University of Ireland Galway
     
  This file is part of HAPprime. 

  HAPprime is free software; you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation; either version 2 of the License, or
  (at your option) any later version.

  HAPprime is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with this program.  If not, see <http://www.gnu.org/licenses/>.

  $Id: manual.css 170 2007-09-24 16:47:42Z pas $
**/

/** The container **/

body
{
   background-color: #ffffff;
   font-size: medium;
   border-width: 0px;
   z-index: 1;
   margin: 1em;
   margin-right: 11em;
}

/** Main text settings **/
p 
{ 
  color: #000066; 
  margin: 0pt;
  font-family: sans-serif;
  text-align: justify;
  padding-top: 0.3em;
  padding-bottom: 0.3em;
}

 pre 
{ 
  font-family: "Courier New",Courier,monospace; 
  font-size: 100%; 
  color:#284d49; 
}

 tt,  code { 
  font-family: "Courier New",Courier,monospace; 
  font-size: 100%; 
  color: #284d49; }

 var {
  color: #cf0000;
}

/** Headings **/
 h1 { font-size: 200%; color: #000066; }
 h2 { font-size: 160%; color: #000066; }
 h3 { font-size: 160%; margin-bottom: 0; color: #000066; }
 h4 { font-size: 130%; margin-bottom: 0.5em; color: #000066; }
 h5 { font-size: 100%; margin-bottom: 0.5em; margin-top: 1em; color: #000066; }

/** text alignment **/
 .pcenter {  text-align: center; }
 .pcenter p {  text-align: center; }
 .pleft {  text-align: left; }
 .pright {  text-align: right;}

/** Chapter links**/
 .chlinktop, 
        .chlinkbot, 
        .chlinkprevnexttop 
{
  text-align: center;
  background-color: #ccffff;
  padding: 4px;
  border: 2px solid #ccffff;
  font-size: 80%;
  width: 100%;
}

 .chlinkprevnextbot 
{
  margin-top: 3em;
  text-align: center;
  background-color: #ccffff;
  padding: 4px;
  border: 2px solid #ccffff;
  font-size: 80%;
  width: 100%;
}

 .chlinktop a, 
        .chlinkbot a, 
        .chlinkprevnexttop a, 
        .chlinkprevnextbot a ,
        .chlinktop a:link, 
        .chlinkbot a:link, 
        .chlinkprevnexttop a:link, 
        .chlinkprevnextbot a:link, 
        .chlinktop a:visited, 
        .chlinkbot a:visited, 
        .chlinkprevnexttop a:visited, 
        .chlinkprevnextbot a:visited 
        .chlinktop a:hover, 
        .chlinkbot a:hover, 
        .chlinkprevnexttop a:hover, 
        .chlinkprevnextbot a:hover 
{
  text-align: center;
  background-color: #ccffff;
  border: 2px outset #ffffff;
  padding: 1px;
  text-decoration: none;
}

 div.chlinktop a:active, 
        div.chlinkbot a:active, 
        div.chlinkprevnexttop a:active, 
        div.chlinkprevnextbot a:active 
{
  text-align: center;
  background-color: #ccffff;
  border: 2px inset #ffffff;
  padding: 1px;
  text-decoration: none;
}

 span.chlink1 
{
}

/** Mini table of contents **/
div.ChapSects 
{
  position: fixed;
  top: 1em;
  right: 1em;
  font-size: 75%;
  width: 10em;
}

div.ContSect {
  text-align: left;
  margin-left: 1em;
}

span.ContSS {
  display: none;
  margin-left: 2em;
}

span.ContSS br {
  display: none;
}

/** The footer **/
 p.foot 
{
  font-size: 60%;
  font-style: normal;
}

/** Tables **/
 table 
{
  margin-left: auto;
  margin-right: auto;
}

 td, th 
{
  border-collapse: collapse;
  border-style: none;
} 

 table.func 
{ 
  padding: 0pt 1ex; 
  margin-left: 1ex;
  margin-right: 1ex;
  margin-bottom: 2px;
  border-right: thin solid #000066;
  border-left: thin solid #000066;
  background-color: #eeffff;
  /* line-height: 1.1; */ 
  width: 100%; 
}

 table.example 
{
  font-size: 80%;
  border: thin solid #000066; 
  padding: 0px;  
  width: 100%
}
 table.example td {
  border-style: none;
  border-width: 0pt;
  padding: 0ex 1ex;
}

 table.GAPDocTable {
  border-collapse: collapse;
  border-style: none;
  border-color: black;
}

 table.GAPDocTable  td, table.GAPDocTable  th {
  padding: 3pt;
  border-width: thin;
  border-style: solid;
  border-color: #555555;
}
 caption.GAPDocTable {
  caption-side: bottom;
  width: 70%;
  margin-top: 1em;
  margin-left: auto;
  margin-right: auto;
}

 td.tdleft {
  text-align: left;
}

 td.tdright {
  text-align: right;
}

 td.tdcenter {
  text-align: center;
}

/* Various mark-up elements */
/* Verb elements */
 pre.normal {
  color: #000066;
}
/* Func-like  elements and Ref to Func-like */
 code.func {
  color: #006666;
}
/* K elements */
 code.keyw {
  color: #660000;
}
/* F elements */
 code.file {
  color: #8e4510;
}
/* C elements */
 code.code {
}
/* Item elements */
 code.i {
}
/* Button elements */
 strong.button {
}
/* Headings  */
 span.Heading {
}
/* Arg elements */
 var.Arg {
  color: #660000;
}
/* Example elements, is in tables, see above */
 div.Example {
}
/* Package elements */
 strong.pkg {
}
/* URL-like  elements */
 span.URL {
}
/* Mark elements */
 strong.Mark {
}
/* Ref elements */
 b.Ref {
}
/* this contains the contents page */
 div.contents {
}
/* this contains the index page */
 div.index {
}
/* ignore some text for non-css layout */
 span.nocss {
  display: none;
}

/************************** LINKS *************************/

A:link
{
  color: #000044; 
  text-decoration: underline;
}

A:visited 
{
  color: #000044; 
  text-decoration: underline;
}

A:hover
{
  color: #6666ff; 
  text-decoration: underline;
}