/* (jEdit options) :folding=explicit:collapseFolds=1: */
body {
    color : #666633 ;
    background-color : #cccc99 ;
    font-family : Arial, Geneva, Helvetica, sans-serif ;
    margin : 0 ;
}

img {
    border : none ;
}

/* Order that these appear in is important to Safari, apparently. */
a {    text-decoration : none ; }
a:link { color : #000099 ; }
a:visited { color : #000099 ; }
a:hover { text-decoration : underline ; color : #0000ff ; }
a:active { color : #0000ff ; }

/* So you can click the file browser dir names without them looking like links. */
a.file_browser { color: #000000 ; text-decoration : none ; }

/* Better formatting for the "helper" pages. */
ol li { padding : 0.5em 0 0.5em 0 ; }

div.pageheader {
    margin-bottom : 0.5em ;
}
div.pageheader h1 {
    text-align : center ;
}

div.leftnav {
    font-size : smaller ;
    margin : 0 0 0 0.4em ;
}

.minornav {
    margin-left: 1.0em ;
}

div.pagefooter {
    font-size : smaller ;
    text-align : right ;
    margin : 0.5em ;
}

div.pagecontent {
    color : #000000 ;
    background-color : #ffffff ;
    border-width : 1px 0 1px 1px ; /* not on the right */
    border-style : solid ;
    border-color : #999966 ;
    padding : 0.4em ;
    font-family : Optima, Palatino, Times, serif ;
}

/* Because TABLE otherwise doesn't inherit these... */
div.pagecontent table {
    color : #000000 ;
    background-color : #ffffff ;
    font-family : Optima, Palatino, Times, serif ;
}

/* Inheritance is tighter than comma op. */
div.pagecontent h2, div.pagecontent h3, div.pagecontent h4, div.pagecontent h5, div.pagecontent h6 {
    font-family : Arial, Geneva, Helvetica, sans-serif ;
    color : #660000 ;
}

/* These  differ only by not having a border on the left. */
div.pagecontent_alone {
    color : #000000 ;
    background-color : #ffffff ;
    border-width : 1px 0 1px 0 ; /* not on the right or left */
    border-style : solid ;
    border-color : #999966 ;
    padding : 0.4em ;
    font-family : Optima, Palatino, Times, serif ;
}

/* Because TABLE otherwise doesn't inherit these... */
div.pagecontent_alone table {
    color : #000000 ;
    background-color : #ffffff ;
    font-family : Optima, Palatino, Times, serif ;
}

/* Inheritance is tighter than comma op. */
div.pagecontent_alone h2, div.pagecontent_alone h3, div.pagecontent_alone h4, div.pagecontent_alone h5, div.pagecontent_alone h6 {
    font-family : Arial, Geneva, Helvetica, sans-serif ;
    color : #660000 ;
}

/* Used for warnings about bad events, etc */
div.alert {
    background-color : #993333 ;
    color : #ffffff ;
    text-align : justify ;
    border : 1px solid #330000 ;
    padding : 0.4em ;
    margin: 0.4em;
}

/* Used for the system "banner" message, about e.g. the server going down. */
div.banner {
    background-color : #999966 ;
    color : #ffffff ;
    text-align : justify ;
    padding : 0.4em ;
    margin: 0.4em;
}

/* Used for ___. */
div.feature {
    background-color : #ddddeb ;
    color : #000000 ;
    text-align : justify ;
    border : 1px dotted #666699 ;
    padding : 0.4em ;
    margin: 0.4em;
}

div.side_options {
    background-color: #f0f0dd ;
    border : 1px dotted #999966 ;
    padding : 0.4em ;
    float : right ;
}

div.right_ngl {
    background-color: #f0f0dd ;
    float : right ;
    margin: 1em;
}

div.inline_options {
    background-color: #f0f0dd ;
    border : 1px dotted #999966 ;
    padding : 0.4em ;
}

div.indent {
    margin-left : 1.5em ;
}

div.closeindent {
    margin-left : 1.5em ;
    margin-bottom : 0 ;
    margin-top : -1em;
}

.inactive { color : #666666 ; }
.nospaceafter { margin-bottom : 0 ; }

h5.welcome { margin-top: 0 ; font-variant : small-caps ; }

/* Inheritance is tighter than comma op. */
div.help_info { color : #666666 ; }
div.help_info h2, div.help_info h3, div.help_info h4, div.help_info h5, div.help_info h6 { color : #996666 ; }
div.help_info a:link { color : #333399 ; }
div.help_info a:visited { color : #333399 ; }
div.help_info a:hover { text-decoration : underline ; color : #3333ff ; }
div.help_info a:active { color : #3333ff ; }

/* For syntax highlighting kinemage file produced by king.core.KinfileTokenizer */
div.kin2html { font-family : monospace ; }
div.kin2html span.nil-type { color : #ff0099 ; font-weight : bold ; }
div.kin2html span.identifier { color : #330099 ; }
div.kin2html span.comment { color : #666666 ; font-style : italic ; }
div.kin2html span.aspect { color : #00cc00 ; }
div.kin2html span.s-quote { color : #009900 ; }
div.kin2html span.d-quote { color : #ff0099 ; font-weight : bold ; }
div.kin2html span.keyword { color : #cc0000 ; font-weight : bold ; }
div.kin2html span.property { color : #0000cc ; font-weight : bold ; }
div.kin2html span.integer { color : #003366 ; }
div.kin2html span.number { color : #003366 ; }
div.kin2html span.literal { color : #000000 ; }

/* from https://www.w3schools.com/howto/howto_js_tabs.asp for adding tabs*/
/* Style the tab */
div.tab {
    overflow: hidden;
    border: 1px solid #ccc;
    background-color: #f1f1f1;
}
/* Style the buttons inside the tab */
div.tab button {
    background-color: inherit;
    float: left;
    border: 1px solid #ddd;
    outline: 1px solid #ccc;
    cursor: pointer;
    /*padding: 14px 16px;*/
    height: 40px;
    width: 80px;
    transition: 0.3s;
}
/* Change background color of buttons on hover */
div.tab button:hover {
    background-color: #ddd;
}
/* Create an active/current tablink class */
div.tab button.active {
    background-color: #ccc;
}
/* Style the tab content */
.tabcontent {
    display: none;
    padding: 6px 12px;
    border: 1px solid #ccc;
    border-top: none;
}