/*
 * Copyright (C) Jari Aalto
 *
 * http://www.w3.org/TR/REC-CSS2/cover.html#minitoc
 * http://www.pitt.edu/~nisg/cis/web/cgi/rgb.html
 * http://css-tricks.com
 *
 * OPACITY NOTES
 *
 * Safari  : value of 1.0 causes bugs, use 0.99
 *
 * opacity : 0.7			CSS standard
 * filter  : alpha(opacity=70)		IE hack
 *
 */

/* /////////////////////////////////////////////// Format words */

a[href]
{
    text-decoration:     none;
    border-bottom-color: #00e6e8;
    border-bottom-style: solid;
    border-bottom-width: thin;
}

a:link[href]
{
    color: #436eee; /* RoyalBlue2 */
}

a:visited
{
    /* color: Navy; */
    color: blue;
}

a:hover[href]
{
    /* http://css-tricks.com/rgba-browser-support
     * CSS3: RGBa is a way to declare a color in CSS that includes
     * alpha transparency support
     */

    background:          url("pic/gradient-navy-x-400px.jpg") rgb(255, 255, 255); /* IE, Opera fallback */
    background:          url("pic/gradient-navy-x-400px.jpg") rgba(255, 255, 255, 0.5);

    border-bottom-color: teal;
    border-bottom-style: dashed;
    border-bottom-width: thin;
}

div.doc h1
{
    font-size:              180%;
    padding-bottom:         3px;

    border-bottom-width:    1px;
    border-bottom-color:    #00c6c8;
    border-bottom-style:    dashed;
}

div.doc h2
{
    /* font-size:              medium; */
}

em.word
{
    /* #809F69 Forest green */
    /* color: #80B06A;  Darker Forest green */
    color: #999;
    font-weight: lighter;
}

strong.word
{

}

samp.word
{
    color:          #4C9CD4;
    /* Mac: Monaco
     * MS: Andale Mono
     */
    font-family: Courier, monospace;
}

span.super
{
    /* superscripts */
    color:          teal;
    vertical-align: super;
    font-family:    Verdana, Arial, sans-serif;
    font-size:      0.8em;
}

span.word-ref
{
    color:          teal;
}

span.word-big
{
    color: teal;
    font-size: 1.2em;
}

span.word-small
{
    /* color: #CC66FF; bright blue */
/*    color: #808000;   olive */

    color: #BDB76B; /* Dark Khaki */

    font-family: Verdana, Arial, sans-serif;
}

/* /////////////////////////////////////////////// Format other */

/* 7th column starting with double quote */

span.quote7
{
    /* color: Green; */
    /* font-style: italic; */
    font-family: Verdana;
    font-weight: bold;
    font-size: 1em;
}

/* This appears in FRAME version: xxx-toc.html */

div.toc
{
    font-size: 0.9em;
}

div.toc a:link
{
    color: #777
}

div.toc a:hover
{
    color: #000;
}

/* This appears in picture: the caption text beneath */

div.picture
{
    font-size: 1em;
    font-style: italic;
}

/* This is the document info footer */

em.footer
{
    font-size: 0.9em;
}

/* ////////////////////////////////////////////// Format columns */

p.column3
{
    color: Green;
}

p.column5
{
    color: #87C0FF;   /* shaded casual blue */
}

p.column6
{
    /* #809F69 is Forest green
       But web safe colors are:
       Lighter  ForestGreen: 66CC00
       ForestGreen: #999966 669900 339900 669966

    color: #669900;
    font-family: "Goudy Old Style"
    */
    margin-left: 3em;
    font-family: Georgia, "New Century Schoolbook",
                 Palatino, Verdana, Arial, Helvetica, sans-serif;
    font-size:  0.9em;
}

    /* This is so called 3rd heading */

p.column7
{
    font-style:  italic;
    font-weight: bold;
}

@media print { P.column7
{
    font-style:  italic;
    font-weight: bold;
}}

p.column8
{
    text-align: justify;
}

p.column9
{
    font-weight: bold;
}

p.column10
{
    margin-left: 2em;
    padding-top: 0;
}

em.quote10
{
    /*
        #FF00FF Fuchsia;
        #0000FF Blue

        #87C0FF casual blue
        #87CAF0

        #A0FFFF Very light blue

        #809F69 = Forest Green , see /usr/lib/X11/rgb.txt

        background-color:

        color: #80871F ; Orange, short of

        # font-family: "Gill Sans", sans-serif;

        line-height: 0.9em;
        font-style:  italic;
        font-size:   1em;

        line-height: 0.9em;
        color: #008080;

        background-color: #F5F5F5;
        #809F69; forest green
        #F5F5F5; Pale grey
        #FFf098; pale green
        ##bfefff; #ffefff; LightBlue1

        background-color: #ffefff;

        .................
        #FFFCE7         Orange very light
        #FFE7BF         Orange dark
        #FFFFBF         Orange limon

     */

     /*
     #  See a nice page at
     #  http://www.cs.helsinki.fi/linux/
     #  http://www.cs.helsinki.fi/include/tktl.css
     */

     font-family: Georgia, "Times new roman", "Trebuchet MS", helvetica, serif;
}

@media print { em.quote10
{
    font-style:  italic;
    line-height: 0.9em;
    font-size:   0.8em;
}}

p.column11
{
    font-family:    Georgia, "Times new roman", "Trebuchet MS", Helvetica, serif;
    font-size:      0.9em;
    color:          #4682b4;

/*    font-style:           italic; */
/*    font-variant:   small-caps; */
}

p.column11 samp.word
{
    font-size:      medium;
    font-family:    Courier, monospace;
    font-variant:   normal;
    color:          #191970;
}

/* ////////////////////////////////////////////// Format tables */

table
{
    border:             none;
    width:              100%;
    padding:            10px;
/*    spacing:            0px; */
}

table + p
{
	margin-top:	1em;
}

table tr td pre
{
        /*  Make PRE tables "airy" */
        margin-top:     1em;
        margin-bottom:  1em;
}

table.basic
{
        font-family:    Consolas, "Liberation Mono", "Lucida Console", Courier, monospace;
        color:          #777;
}

td.info
{
    border-left: 8px solid #ddd;
}

table.attention
{
        /* font-family: sans-serif; /*
        /* grey (dark to white): 0 > 3 > 6 > 9 > C > F; like #666666 */

/*
        border-top:     1px #CCCCCC solid;
        border-bottom:  1px #666666 solid;
*/
        border-top-width:       thin;

        border-top-style:       solid;
        border-top-color:       #D3D3D3;

        border-bottom-style:    double;
        border-bottom-color:    #D3D3D3;
}

table.dashed
{
        /* font-family: sans-serif; /*
        /* background:  #F7DE9C; */

        color: Navy;

        border-top:     1px #00e6e8 solid;
        border-left:    1px #00e6e8 solid;
        border-right:   1px #00c6c8 solid;
        border-bottom:  1px #00c6c8 solid;
        border-width:   thin;
        border-style:   dashed; /* dotted */
    	border-radius:  20px;

        /* line-height: 105%; */
}

table.solid
{
        font-family:    Consolas, "Liberation Mono", "Lucida Console", Courier, monospace;
        color:          Navy;
        /* #CCCCCC , #666666 is dark grey */
/*        border-top:     1px #CCCCCC solid;
        border-left:    1px #CCCCCC solid;
        border-right:   1px #666666 solid;
        border-bottom:  1px #666666 solid;
*/
}

/* Make 3D styled layout by thickening the boton + right. */

table.shade-3d
{
        font-family:    Consolas, "Liberation Mono", "Lucida Console", Courier, monospace;
        color:          #999999; /* Navy; */

        /* border-top:  1px #999999 solid; */
        /* border-left: 1px #999999 solid; */
        border-right:   4px #666666 solid;
        border-bottom:  3px #666666 solid;
}

.shade-3d-attrib
{
    /*
        F9EDCC          Light Orange
        FAEFD2          Even lighter Orange

        #FFFFCC         Light yellow, lime

    */

    background: #FFFFCC;
    border-radius: 20px;
}

table.shade-normal
{
    font-family:    Consolas, "Liberation Mono", "Lucida Console", Courier, monospace;
    color:          #777777;
}

.shade-normal-attrib
{
    /*  grey: EAEAEA, F0F0F0 FFFFCC
        lime: F7F7DE CCFFCC
        pinkish: E6F1FD D8E9FB C6DEFA FFEEFF (light ... darker)
        slightly darker than F1F1F1: #EFEFEF;

    background: #F9F9F9;
    */
}

table.shade-normal2
{
        font-family:    Courier, monospace;
}

.shade-normal2-attrib
{
    background: #E0E0F0;
}

table.shade-note
{
    border-bottom-style: dashed;
    border-bottom:       #666666;

    border-width:        thin;
}

span.note12
{
    font-weight: bold;
}

.shade-note-attrib
{
    /*  darker is #E0E0F0; */
    /* background: #E5ECF3; */
    /* background: #E5ECF3; */
    /* #afeeee; dark green */

    /*
    background: #EDF3FB;
    */

    background: url("pic/rectangle-wind3.jpg") no-repeat;
    border-radius:   	 20px;

/*
    font-family: "Times New Roman", Times, Georgia, "New Century Schoolbook",
                 Palatino, Verdana, Helvetica, serif;
*/

    font-style:          normal;

    padding-left:       1em;
    padding-right:      1em;
    padding-top:        1em;
    padding-bottom:     1em;
    max-width:          700px;
}

.shade-note-attrib samp.word
{
    color:          #4C9CD4;
    font-family:    Courier, monospace;
    font-size:      0.9em;
}
/* ..................................... colors ................. */

.color-white
{
    color:      #000000;
/*    background: #FFFFFF; */
}

.color-grey
{
    color:          #555555;
}

.color-fg-navy
{
    color: navy;
}

.color-fg-blue
{
    color: blue;
}

.color-fg-teal
{
    color: teal;
}

/*   Nice combination: teal-dark, beige2 and  beige-dark */

.bg-gradient-grey
{
    background:     url("pic/gradient-grey-light-pole.jpg") repeat-x top #FFFFFF;
    border-radius:  20px;
    border:         none;
    color:          #242424;
}

.color-teal-dark
{
    color: #96EFF2;
}

.color-beige
{
/*    color: Navy; */
/*    background: #F7F7DE; */
    color:          #242424;

    background:     url("pic/gradient-beige-light-pole.jpg") repeat-x top #FFFFFF;
    border-radius:  20px;
}

.color-beige2
{
    color: Navy;
    background: #FAFACA;
    border-radius: 20px;
}

.color-beige3
{
    color: Navy;
    background: #F5F5E9;
    border-radius: 20px;
}

.color-beige-dark
{
    color: Navy;
    background: #CFEFBD;
    border-radius: 20px;
}

.color-pink-dark
{
    background: #E6F1FD;
    border-radius: 20px;
}

.color-pink-medium
{
    background: #D8E9FB;
    border-radius: 20px;
}

.color-pink
{
    /*  grey: EAEAEA, F0F0F0 FFFFCC
        lime: F7F7DE CCFFCC
        pinkish: E6F1FD D8E9FB C6DEFA FFEEFF (light ... darker)
    */
    background: #C6DEFA;
    border-radius: 20px;
}

.color-pink-light
{
    background: #FFEEFF;
    border-radius: 20px;
}

.color-blue-light
{
    background: #F0F0FF;
    border-radius: 20px;
}

.color-blue-medium
{
    background: #4A88BE;
    border-radius: 20px;
}

span.bookref
{
    font-weight:            lighter;
}

div.footnote
{
/*
    border-top-width:       1px;
    border-top-style:       solid;
    border-top-color:       teal;
*/

    font-family:            Georgia, "Times New Roman", Times, serif;
    color:                  #333333;
}

div.footnote table pre
{
    font-size: 0.8em;
}

/* ----------------------------------------------------------------------- */

 .function-name {
   /* font-lock-function-name-face */
   color: #0000ff;
 }
 .my-tmp-font-lock-comment {
   /* my-tmp-font-lock-comment-face */
   color: #da70d6;
 }
 .my-tmp-font-lock-constant {
   /* my-tmp-font-lock-constant-face */
   color: #556b2f;
 }
 .my-tmp-font-lock-keyword {
   /* my-tmp-font-lock-keyword-face */
   color: #a020f0;
   font-weight: bold;
 }
 .my-tmp-font-lock-variable-name {
   /* my-tmp-font-lock-variable-name-face */
   color: #ffa500;
 }
 .string {
   /* font-lock-string-face */
   color: #bc8f8f;
 }
 .type {
   /* font-lock-type-face */
   color: #228b22;
 }

/*
 a {
   color: inherit;
   background-color: inherit;
   font: inherit;
   text-decoration: inherit;
 }
 a:hover {
   text-decoration: underline;
 }
*/


/* Prevent Android from "guessing" the colors and
  instead use my Solarized palette.
  Prevents Chrome from forced-inverting your colors.
*/

/*
:root
{
    color-scheme: light dark;
}
*/

@media (prefers-color-scheme: dark)
{
    *, #navbar, #navbar ul#main, #container, div.content div#col1, div, ul
    {
        /* Remove the background images in dark mode */
        background: none;
    }

    .color-beige
    {
        background: ##0078D7;
	color: white;
    }

    /* Solarized dark */
    :root
    {
	--sol-base03: #002b36; /* Background */
	--sol-base02: #073642; /* Background highlights */
	--sol-base01: #586e75; /* Muted text */
	--sol-base0:  #839496; /* Main body text */
	--sol-base1:  #93a1a1; /* Emphasized text */
	--sol-blue:   #268bd2; /* Links/Buttons */
    }

    body
    {
	background-color: var(--sol-base03);
	color: var(--sol-base0);
    }

    #id1, #id2, #id3
    {
	background-color: var(--sol-base02);
	border: 1px solid var(--sol-base01);
    }

    a, a[href], #navbar a
    {
	color: var(--sol-blue);
    }
}

/* End of file */