/* manual.css Frank Lübeck */
/* This is the default CSS style sheet for GAPDoc HTML manuals. */
/* basic settings, fonts, sizes, colors, ... */
body {
position: relative;
background: #ffffff;
color: #000000;
width: 70%;
margin: 0pt;
padding: 15pt;
font-family: Helvetica,Verdana,Arial,sans-serif;
text-align: justify;
}
/* no side toc on title page, bib and index */
body.chap0 {
width: 95%;
}
body.chapBib {
width: 95%;
}
body.chapInd {
width: 95%;
}
h1 { font-size: 200%; }
h2 { font-size: 160%; }
h3 { font-size: 160%; }
h4 { font-size: 130%; }
h5 { font-size: 100%; }
p.foot {
font-size: 60%;
font-style: normal;
}
a:link {
color: #00008e;
text-decoration: none;
}
a:visited {
color: #00008e;
text-decoration: none;
}
a:active {
color: #000000;
text-decoration: none;
}
a:hover {
background: #eeeeee;
}
pre {
font-family: "Courier New",Courier,monospace;
font-size: 100%;
color:#111111;
}
tt,code {
font-family: "Courier New",Courier,monospace;
font-size: 110%;
color: #000000; }
var {
}
/* general alignment classes */
.pcenter {
text-align: center;
}
.pleft {
text-align: left;
}
.pright {
text-align: right;
}
/* layout for the definitions of functions, variables, ... */
div.func {
background: #e0e0e0;
margin: 0pt 0pt;
}
/* general and special table settings */
table {
border-collapse: collapse;
margin-left: auto;
margin-right: auto;
}
td, th {
border-style: none;
}
table.func {
padding: 0pt 1ex;
margin-left: 1ex;
margin-right: 1ex;
background: transparent;
/* line-height: 1.1; */
width: 100%;
}
table.func td.tdright {
padding-right: 2ex;
}
/* Example elements (for old converted manuals, now in div+pre */
table.example {
background: #efefef;
border-style: none;
border-width: 0pt;
padding: 0px;
width: 100%
}
table.example td {
border-style: none;
border-width: 0pt;
padding: 0ex 1ex;
}
/* becomes ... */
div.example {
background: #efefef;
padding: 0ex 1ex;
/* overflow-x: auto; */
overflow: auto;
}
/* Links to chapters in all files at top and bottom. */
/* If there are too many chapters then use 'display: none' here. */
div.chlinktop {
background: #dddddd;
border-style: solid;
border-width: thin;
margin: 2px;
text-align: center;
}
div.chlinktop a {
margin: 3px;
}
div.chlinktop a:hover {
background: #ffffff;
}
div.chlinkbot {
background: #dddddd;
border-style: solid;
border-width: thin;
margin: 2px;
text-align: center;
/* width: 100%; */
}
div.chlinkbot a {
margin: 3px;
}
span.chlink1 {
}
/* and this is for the "Top", "Prev", "Next" links */
div.chlinkprevnexttop {
background: #dddddd;
border-style: solid;
border-width: thin;
text-align: center;
margin: 2px;
}
div.chlinkprevnexttop a:hover {
background: #ffffff;
}
div.chlinkprevnextbot {
background: #dddddd;
border-style: solid;
border-width: thin;
text-align: center;
margin: 2px;
}
div.chlinkprevnextbot a:hover {
background: #ffffff;
}
/* table of contents, initially don't display subsections */
div.ContSSBlock {
display: none;
}
div.ContSSBlock br {
display: none;
}
/* format in separate lines */
span.tocline {
display: block;
width: 100%;
}
div.ContSSBlock a {
display: block;
}
/* this is for the main table of contents */
div.ContChap {
}
div.ContChap div.ContSect:hover div.ContSSBlock {
display: block;
position: absolute;
background: #eeeeee;
border-style: solid;
border-width: 1px 4px 4px 1px;
border-color: #666666;
padding-left: 0.5ex;
color: #000000;
left: 20%;
width: 40%;
z-index: 10000;
}
div.ContSSBlock a:hover {
background: #ffffff;
}
/* and here for the side menu of contents in the chapter files */
div.ChapSects {
}
div.ChapSects a:hover {
background: #eeeeee;
}
div.ChapSects a:hover {
display: block;
width: 100%;
background: #eeeeee;
color: #000000;
}
div.ChapSects div.ContSect:hover div.ContSSBlock {
display: block;
position: fixed;
background: #eeeeee;
border-style: solid;
border-width: 1px 2px 2px 1px;
border-color: #666666;
padding-left: 0ex;
padding-right: 0.5ex;
color: #000000;
left: 54%;
width: 25%;
z-index: 10000;
}
div.ChapSects div.ContSect:hover div.ContSSBlock a {
display: block;
margin-left: 3px;
}
div.ChapSects div.ContSect:hover div.ContSSBlock a:hover {
display: block;
background: #ffffff;
}
div.ContSect {
text-align: left;
margin-left: 1em;
}
div.ChapSects {
position: fixed;
left: 75%;
font-size: 90%;
overflow: auto;
top: 10px;
bottom: 0px;
}
/* Table elements */
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;
}
table.GAPDocTablenoborder {
border-collapse: collapse;
border-style: none;
border-color: black;
}
table.GAPDocTablenoborder td, table.GAPDocTable th {
padding: 3pt;
border-width: 0pt;
border-style: solid;
border-color: #555555;
}
caption.GAPDocTablenoborder {
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;
}
/* Colors and fonts can be overwritten for some types of elements. */
/* Verb elements */
pre.normal {
color: #000000;
}
/* Func-like elements and Ref to Func-like */
code.func {
color: #000000;
}
/* K elements */
code.keyw {
color: #770000;
}
/* 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: #006600;
}
/* 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 {
}
span.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;
}
/* colors for ColorPrompt like examples */
span.GAPprompt {
color: #000097;
font-weight: normal;
}
span.GAPbrkprompt {
color: #970000;
font-weight: normal;
}
span.GAPinput {
color: #970000;
}
/* Bib entries */
p.BibEntry {
}
span.BibKey {
color: #005522;
}
span.BibKeyLink {
}
b.BibAuthor {
}
i.BibTitle {
}
i.BibBookTitle {
}
span.BibEditor {
}
span.BibJournal {
}
span.BibType {
}
span.BibPublisher {
}
span.BibSchool {
}
span.BibEdition {
}
span.BibVolume {
}
span.BibSeries {
}
span.BibNumber {
}
span.BibPages {
}
span.BibOrganization {
}
span.BibAddress {
}
span.BibYear {
}
span.BibPublisher {
}
span.BibNote {
}
span.BibHowpublished {
}