/*
#+##############################################################################
#
# A CSS stylesheet for Texinfo HTML output produced by texi2any 5.0 (or greater)
#
#    Copyright (C) 2012,2013  Jason Massey <jason@janixsoft.com>
#
#    This program 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.
#
#    This program 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.
#
#    You should have received a copy of the GNU General Public License
#    along with this program; if not, write to the Free Software
#    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
#    02110-1301  USA
#
#-##############################################################################
*/

/* CSS RESET */
*
{
margin: 0;
padding: 0;
vertical-align: baseline;
}

sup {
    vertical-align: super;
}

hr
{
    margin: 1em 0em 1em 0em;
    background: url("lines-019.gif");
    /* border-image-width: 100px; */
    border-top: 33px solid transparent;
    border-bottom: 0;
    border-left: 0;
    border-right:0;
}

body
{
margin: 2% 7% 3% 7%;
font-size: 100%;
font-family: sans-serif;
text-align: justify;
background: black;
color: lightgrey;
}

div.smallexample, div.example
{
border: 4px solid green;
background: lightgreen;
margin: 1em 0em 1em 0em;
color: black;
border-radius: 8px;
}

pre.example, pre.smallexample
{
font-size: 120%;
margin: 0.5em 1em .5em 1em;

}

pre.verbatim
{
font-size: 110%;
border: 1px solid #900;
padding: 1em;
color: #900;
background: white;
border-radius: 4px;
}

pre.lisp
{
border: 1px solid black;
padding: 1em;
color: black;
background: #CCE0F5;
border-radius: 4px;
}

div.lisp
{
margin: 0;
}

pre.display
{
border: 1px solid #a3cef9;
padding: 1em;
color: black;
background: #E6F0FA;
border-radius: 4px;
font-family: serif;
}

pre.format
{
font-family: serif;
border: 2px solid  red;
padding: 1em;
color: black;
background:  lightpink;
border-radius: 4px;
}

blockquote
{
border: 2px solid red;
margin: 1em 3em 1em 3em;
background: lightpink;
color: black;
border-radius: 4px;
padding: .25em .5em .25em .5em;
}

/* Used in Exercise styling */
blockquote.indentedblock
{
border: 2px solid red ;
margin: 1em 3em 1em 3em;
background: lightpink;
border-radius: 4px;
padding: .25em 0.5em .25em 0.5em;
}

blockquote.indentedblock > p > img {
    margin-top: -15px;
    margin-bottom: 0;
    display: block;
    margin-right: 0.5em;
    float: left;
}


img
{
margin-top: 1em;
margin-bottom: .5em;
}


h1, h2, h3, h4, h5
{
 color: lightgrey;
}

h2.chapter, h2.unnumbered, h2.appendix
{
    background-image: repeating-linear-gradient(#4da71f, #85b461); 
    text-shadow: 0px 1px black;
    border: 2px solid #4da71f;
    border-radius: 3px;
}

h1
{
margin-top: 1em;
margin-bottom: .5em;
}

h1.chapter, h2.section, .subheading
{
margin-bottom: .375em;
}

h3.section {
    border-bottom: 1px solid lightgrey;
}

h4.subsection {
    margin-top: 3em;
}

h2.section, h3.section, h3.heading, h3.subsection, h2.appendix
{
margin-top: 1em;
}

div.footnote h4
{
    font-size: 90%;
}

div.footnote h5
{
    display: inline;
    font-size: 80%;
    margin-bottom: -10px;
    
}
div.footnote p
{
    font-size: 90%;
    display: inline;
}
div.footnote p::after
{
    content: '\A';
    white-space: pre;
}


.subheading
{
margin-top: 1em;
}

div.header p
{
    white-space: nowrap;
    margin: 0.3em 0em 0.3em 0em;
}

div.header
{
    color: white;
    font-size: 90%;
    background: #ee697d;
    padding: 0.2em;
    border-top: 3px solid red;
    border-bottom: 3px solid red;
    margin-left: -7%;
    margin-right: -7%;
}

table.cartouche
{
    border: 2px solid black;
    padding: .5em;
    box-shadow: 5px 5px silver;
}

p
{
    margin: 1em 0em 1em 0em;
}


/* LINK */
a {
    color: #4da71f;
    text-decoration: none;
}

a:link a:visited a:active {
    color: #4da71f;
    text-decoration: none;
}

a:hover {
    color: #4da71f;
    text-decoration-line: underline;
    text-decoration-color: #4da71f;
}

div.header p a:link {
   font-weight: bold;
   padding: 3px;
   text-decoration:none;
   color: black;
   text-shadow: 0px 1px white;
   background: #ee697d;
   border: 2px solid #ee697d;
   border-radius: 8px;

}

div.header p a:visited {
   text-decoration:none;
   color: black;
   border: 2px solid #ee697d;
}
div.header p a:hover {
    text-decoration:none;
    color: black;
    background: red;
    border: 2px solid red;

}

div.header p a:active {
    text-decoration:none;
    color: black;
}


div.contents code, div.contents var, div.contents samp, div.contents kbd,
table.menu code, table.menu var, table.menu samp, table.menu kbd,
h1 code, h1 var, h1 samp, h1 kbd,
h2 code, h2 var, h2 samp, h2 kbd,
h3 code, h3 var, h3 samp, h3 kbd,
h4 code, h4 var, h4 samp, h4 kbd,
a code, a var, a samp, a kbd
{
    padding: inherit;
    font-family: inherit;
    border: inherit;
    background-color: inherit;
    box-shadow: inherit;
    color: inherit;
}

div.contents li
{
    margin-bottom: .25ex;
    white-space: nowrap;
}

div.contents li, ul
{
    margin-top: .25ex;
}

ul, ol
{
    margin-left: 2.5em;
    margin-top: .5em;
    margin-bottom: 1em;
}

li
{
    margin-bottom: .5em;
}

table.menu
{
    border-top: solid 1px #4ea823;
    padding-top: .5em;
    white-space: nowrap;
    margin-top: 2em;
    line-height: 1.4em;
}

dl
{
    display: block;
    margin-top: 1em;
}

dt
{
    color: #900;
}

dd
{
    margin-left: 2.5em;
}

pre.menu-comment
{
    margin-top: 1.5em;
    font-family: Arial,sans-serif;
}


tt.key{
    font-size: 120%;
}

code
{
    font-family: revert;
    font-size: 120%;
    font-weight: bold;
    color: red;
}

code:hover
{
    font-family: revert;
    font-size: 120%;
    font-weight: bold;
    color: red;
    background: #85b461;
}

table.index-cp code
{
    font-family: revert;
    font-size: 120%;
    color: purple;
}



kbd
{
    padding-left: .25em;
    padding-right: .25em;
    border: solid 1px #C2C2C2;
    border-radius: 4px;
    background-color: #F0F0F0;
    box-shadow: 1px 1px silver;
    color: black;
}


samp
{
    color: #046370;
    font-size: 120%;
}

var
{

    color: #033DA3;
}

span.nocodebreak {white-space:pre}
span.nolinebreak {white-space:pre}
span.roman {font-family:serif; font-weight:normal}
span.sansserif {font-family:sans-serif; font-weight:normal}
ul.no-bullet {list-style: none}

/*
--------------------------------------------------------------------------
END OF janix-texinfo.css
--------------------------------------------------------------------------
*/
