Sophie

Sophie

distrib > Mageia > 7 > i586 > by-pkgid > 5c0d69b746ff5f687582b8330c8a6af6 > files > 111

clisp-2.49.92-2.mga7.i586.rpm

/*
 * CLISP implementation notes stylesheets
 * Copyright (C) 2001-2008 by Sam Steingold <sds@gnu.org>
 * Covered by the GNU GPL <http://www.gnu.org/copyleft/gpl.html>
 */

body { background-color: white; color: black; }

/* reduce the whitespace (see also clisp.css) */
li, td, dd p { margin: 0pt; }

/* mark code with color */
.code, .programlisting, .screen
{ background-color: lightgray; color: darkblue; }

/* mark methods with color - same background as type! */
.method { background-color: lightcyan; color: darkblue; }

/* literal data */
.computeroutput, .returnvalue, .data
{ background-color: lightblue; color: darkred; }

/* bytecode instructions */
.byte { background-color: lightgray; color: darkred; }

/* mark types with color - same background as method! */
.type, .classname, .superclass
{ background-color: lightcyan; color: darkgreen; }

/* mark packages with color */
.package { background-color: lightgreen; color: navy; }

/* mark format strings with color */
.format { background-color: lightgray; color: navy; }

/* no border for images */
img { border-width: 0; }

/* epigraph: flush right, large left margin */
.epigraph { text-align: right; margin-left: 50%; }

/* cmdsynopsis: indent first line */
.cmdsynopsis { text-indent: -40px; margin-left: 40px; }

/* userinput: highlight */
.userinput { background-color: lightgreen; color: darkred; font-weight: bold; }

/* larger headings:
 (loop :for i :from 1 :to 6 :do
   (format t "h~d { font-size: ~d%; }~%"
           i (round (expt 1.1 (- 7 i)) 1d-2))) */
h1 { font-size: 177%; }
h2 { font-size: 161%; }
h3 { font-size: 146%; }
h4 { font-size: 133%; }
h5 { font-size: 121%; }
h6 { font-size: 110%; }

/* necessary when <programlisting> or <screen> is in a centered table cell */
.programlisting, .screen { text-align: left; }

/* platform dependencies */
.plat-dep { background-color: lightcyan; color: darkred; }
.platform { font-weight: bold; }

/* highlight the FAQ questions */
.question { background-color: lightyellow; }

/* term in table */
td span.term, dt span.term { font-weight: bold; }

/* revhistory */
.revnumber { background-color: lightblue; color: darkred; font-weight: bold; }
.revdate { background-color: lightgreen; color: darkred; font-weight: bold; }

/* modules */
.module { background-color: lightyellow; color: darkblue; font-weight: bold; }

/* full width horizontal rulers */
hr { width: 100%; }