Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  manual.css   Sprache: Unknown

 

Spracherkennung für: .css vermutete Sprache: Lisp {Lisp[44] Masm[44] MT940[23]} [Methode: maximale Elemente, drei Dimensionen]

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





¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1104857
#Domains=418312