/* === === === === === === === === === === === === === === === === ===

    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 <style>...</style> with

    <link rel="stylesheet" href="./texinfo_bright_colors.css">

    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;
}