/* === === === === === === === === === === === === === === === === === This file: texinfo_bright_colors.css Version: 1.0 Date: September 13, 2010 Author: Jaakko Hollm@'en, e-mail: Jaakko.Hollmen@tkk.fi The purpose of this cascading style sheet (CSS) style file named "texinfo_bright_colors.css" is to introduce several bright and contrasting colors for the structural elements of an HTML file. The primary focus of the CSS style is to observe the sturucture of HTML files created with Texinfo documentation system, more specifically texi2html. This is NOT a presentation style but a visualization of the structure of an HTML file through coloring of the elements. The style file may turn out to be useful for both developers of the HTML outputting tools and the Texinfo documentation writers who are interested to observe the outputted HTML structure. The coloring has been achieved by associating a background-color to important HTML elements. Minimal formatting has been done, although the body font and the headers h1 to h5 have been given absolute sizes, and some expanded space has been introduced to horizontal rulers hr in order to make them more visible. There are margins around the document resembling a book-like presentation in the browser. This Cascading Style Sheet (CSS) confroms to the CSS standard, level 2.1. You can validate the correctness of your own creation or modification of the current CSS style at the Web address: http://jigsaw.w3.org/css-validator/ by one the three input methods available. If you edit your already produced HTML file generated by hand, change the section with and put the CSS file in the same directory, or simply by inclusion of the css file when compiling: texi2dvi --css-include=texinfo_bright_colors.css my_doc.texi Note: The output will be very "colorful", with very, very bright colors. You have been warned. --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- (c) Copyright, Jaakko Hollm@'en, Finland, Jaakko.Hollmen@tkk.fi September, 2010 The current file "texinfo_bright_colors.css" 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 3 of the License, or (at your option) any later version. The current file "texinfo_bright_colors.css" 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. === === === === === === === === === === === === === === === === */ body { margin: 30px 10% 30px 8%; background-color: white; font-family: serif; font-size: 1.0em; } h1 { font-size: 2.4em; background-color: #FF0000; } h2 { font-size: 2.0em; background-color: #FF0066; } h3 { font-size: 1.8em; background-color: #FF00CC; } h4 { font-size: 1.6em; background-color: #FF33FF; ; } h5 { font-size: 1.4em; background-color: #FF99FF; } p { background-color: #B0B0B0; } blockquote { background-color: #FFCCFF; } div.shortcontents { background-color: #FF9900; } div.contents { background-color: #FF9900; } div.defun { background-color: #FF9900; } div.float { background-color: #FF9900; } div.footnote { background-color: #FF9900; } div.node { background-color: #FF9900; } ul { background-color: #FF9900; } ol { background-color: #CCFF33; } table { background-color: #FFFF00; } tr { background-color: #66FF00; } td { background-color: #66CC00; } dl { background-color: #00FF00; } dt { background-color: #66CC00; } dd { background-color: #00FFFF; } pre.display { background-color: #33CCFF; } pre.smalldisplay { background-color: #33CCFF; } pre.example { background-color: #33CCFF; } pre.smallexample { background-color: #33CCFF; } pre.format { background-color: #33CCFF; } pre.smallformat { background-color: #33CCFF; } pre.lisp { background-color: #33CCFF; } pre.smalllisp { background-color: #33CCFF; } pre.sp { background-color: #33CCFF; } pre.verbatim { background-color: #33CCFF; } code { background-color: #00FF00; } hr { background-color: #0000FF; margin: 0.5em; padding: 0.5em; }