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