commit df38c8145e75944906236421f8ccc01a63c44f7c parent b6f953a0ad42222264d4f3764ea0a3bf2998b5ca Author: Andres Navarro <canavarro82@gmail.com> Date: Tue, 17 Apr 2012 12:11:35 -0300 Added simple style.css to the html version of the manual (by Mariano Guerra) Diffstat:
38 files changed, 141 insertions(+), 1 deletion(-)
diff --git a/doc/html/A-Sample-Applicative-Description.html b/doc/html/A-Sample-Applicative-Description.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Acknowledgements.html b/doc/html/Acknowledgements.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Alphabetical-Index.html b/doc/html/Alphabetical-Index.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Booleans.html b/doc/html/Booleans.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Bytevectors.html b/doc/html/Bytevectors.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Caveats.html b/doc/html/Caveats.html @@ -21,6 +21,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Characters.html b/doc/html/Characters.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Combiners.html b/doc/html/Combiners.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Continuations.html b/doc/html/Continuations.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Control.html b/doc/html/Control.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Conventions.html b/doc/html/Conventions.html @@ -21,6 +21,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Encapsulations.html b/doc/html/Encapsulations.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Environments.html b/doc/html/Environments.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Equivalence.html b/doc/html/Equivalence.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Error-Messages.html b/doc/html/Error-Messages.html @@ -21,6 +21,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Errors.html b/doc/html/Errors.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Evaluation-Notation.html b/doc/html/Evaluation-Notation.html @@ -21,6 +21,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Format-of-Descriptions.html b/doc/html/Format-of-Descriptions.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Interpreter.html b/doc/html/Interpreter.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Introduction.html b/doc/html/Introduction.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Kernel-History.html b/doc/html/Kernel-History.html @@ -21,6 +21,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Keyed-Variables.html b/doc/html/Keyed-Variables.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Libraries.html b/doc/html/Libraries.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/License.html b/doc/html/License.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Numbers.html b/doc/html/Numbers.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Pairs-and-lists.html b/doc/html/Pairs-and-lists.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Ports.html b/doc/html/Ports.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Printing-Notation.html b/doc/html/Printing-Notation.html @@ -21,6 +21,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Promises.html b/doc/html/Promises.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Some-Terms.html b/doc/html/Some-Terms.html @@ -21,6 +21,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Strings.html b/doc/html/Strings.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Symbols.html b/doc/html/Symbols.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/System.html b/doc/html/System.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/Vectors.html b/doc/html/Vectors.html @@ -20,6 +20,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <div class="node"> diff --git a/doc/html/css/style.css b/doc/html/css/style.css @@ -0,0 +1,52 @@ +body{ + color: #444; + background-color: #f5f5f5; + font-family: arial; + margin: 1em 15%; +} + +hr{ + color: #999; + background-color: #999; + border-style: solid; +} + +p{ + text-align: justify; +} + +pre.example{ + border: 1px solid #999; + background-color: #eee; + margin: 1em; + padding: 1em; +} + +dd{ + padding: 0.5em; +} + +code{ + color: #111; +} + +a code{ + color: #00f; +} + +h1.section, h2.section, h3.section, h4.section, h5.section, h6.section{ + color: #111; +} + +h1.chapter, h2.chapter, h3.chapter, h4.chapter, h5.chapter, h6.chapter{ + color: #111; +} + +.node a{ + text-decoration: none; +} + +a:visited{ + color: #00f; +} + diff --git a/doc/html/index.html b/doc/html/index.html @@ -21,6 +21,7 @@ span.roman { font-family:serif; font-weight:normal; } span.sansserif { font-family:sans-serif; font-weight:normal; } --></style> +<link rel="stylesheet" type="text/css" href="css/style.css"> </head> <body> <h1 class="settitle">klisp Reference Manual</h1> diff --git a/doc/src/Makefile b/doc/src/Makefile @@ -26,7 +26,8 @@ info: $(srcs) makeinfo -o ../klisp.info klisp.texi html: $(srcs) - makeinfo --html -o ../html klisp.texi + makeinfo --html --css-ref=css/style.css -o ../html klisp.texi + cp -r -f ./css ../html/ clean: rm -r -f ../klisp.info ../html diff --git a/doc/src/css/style.css b/doc/src/css/style.css @@ -0,0 +1,52 @@ +body{ + color: #444; + background-color: #f5f5f5; + font-family: arial; + margin: 1em 15%; +} + +hr{ + color: #999; + background-color: #999; + border-style: solid; +} + +p{ + text-align: justify; +} + +pre.example{ + border: 1px solid #999; + background-color: #eee; + margin: 1em; + padding: 1em; +} + +dd{ + padding: 0.5em; +} + +code{ + color: #111; +} + +a code{ + color: #00f; +} + +h1.section, h2.section, h3.section, h4.section, h5.section, h6.section{ + color: #111; +} + +h1.chapter, h2.chapter, h3.chapter, h4.chapter, h5.chapter, h6.chapter{ + color: #111; +} + +.node a{ + text-decoration: none; +} + +a:visited{ + color: #00f; +} +