html {
    font-family:"Times New Roman",Times,serif ;
    font-size:16px ;
}

body {
    margin:0 ;
    background-color:white ;
    border-color:white ;
}

input[type="image"]:focus {
    outline: none ;
}

input[type="submit"]:focus{
    outline: 1px solid steelblue ;
}

input[type="submit"] {
    width:4em ;
    margin-top:2px ;
    margin-bottom:1px ;
    margin-left:0 ;
    margin-right:0 ;
    border-radius:2px ;
    border-style:solid ;
    border-width:0.5px ;
    border-color:gray ;
    font-family:sans-serif ;
    font-size:10pt ;
}

input.info {
    color:black ;
}

input.pgm {
    color:black ;
    background-color:white ;
}

text {
    /* for SVG text */
    font-family:Consolas, sans-serif ;
}

code {
    /* R code or TI-84 text */
    font-family:Consolas, sans-serif ;
}

section#pgm_ctrl {
    position:absolute ;
    top:1em ;
    left:1em ;
}

section#pgm_output {
    position:absolute ;
    top:1em ;
    left:17em ;
}

section#pgm_page {
    position:absolute ;
    width:90% ;
    top:1em ;
    left:2em ;
}

nav#icons{
    position:fixed ;
    top:1em ;
    right:1em ;
    font-size:smaller ;
    text-align:right ;
    color:gray ;
}

footer#copyright {
    position:fixed ;
    bottom:8px ;
    right:16px ;
    font-size:smaller ;
    color:gray ;
}

footer#pgm {
    position:fixed ;
    bottom:8px ;
    right:13px ;
}

legend {
    color:steelblue;
}

div#user_input {
    border-radius: 5px ;
    width:200px ;
    color:gray ;
    background-color:whitesmoke ;
    padding-left:8px ;
    padding-right:8px ;
    padding-top:8px ;
    padding-bottom:8px ;
}

div#proc_menu {
    border-radius: 5px ;
    width:200px ;
    color:gray ;
    background-color:whitesmoke ;
    padding-left:8px ;
    padding-right:8px ;
    padding-top:8px ;
    padding-bottom:8px ;
}

span.note {
    color:black ;
}

span.error {
    color:red ;
}

h1 {
    color:steelblue ;
    font-size:1em ;
    font-weight:normal ;
    margin-left:3em ;
    margin-right:0 ;
    margin-top:0 ;
    margin-bottom:0 ;
    /*
    border-top: solid lightgray ;
    border-top-width: 1px ;
    border-bottom: solid lightgray ;
    border-bottom-width: 1px ;
    */
}

h2 {
    color:black ;
    font-size:1em ;
    font-weight:normal ;
    margin-left:0 ;
    margin-right:0 ;
    margin-top:5px ;
    margin-bottom:5px ;
}



div.sm_br {
    line-height:50% ;
}

img.icon {
    border-style:none ;
    vertical-align:bottom ;
}

ul {
    list-style-type:disc ;
    padding:0 ;
    margin-left:1em ;
    margin-right:0 ;
    margin-top:0 ;
    margin-bottom:0 ;
}

li {
    margin-bottom:12px ;
}

sub.index {
    font-family:monospace,Monaco5,"Lucida Console" ;
    font-size:67% ;
    font-weight: normal ;
    margin-right:0 ;
    margin-left:1px ;
}

span.index {
    font-family:monospace,Monaco5,"Lucida Console" ;
    font-size:67% ;
}

span.title {
    color:black ;
    padding: 2px 1px 3px ;
    border-top: solid lightgray ;
    border-top-width: 1px ;
    border-bottom: solid lightgrey ;
    border-bottom-width: 1px ;
    font-weight: normal ;
    font-family:"Times New Roman",Times,serif ;
}

span.hdr {
    color: steelblue ;
    margin-left: 1em ;
}

span.subtitle {
    color:blue ;
}

/*  *** 06july2026
span.topic {
    color:blue ;
    padding: 2px 1px 3px ;
    border-top: solid lightgray ;
    border-top-width: 1px ;
    border-bottom: solid lightgrey ;
    border-bottom-width: 1px ;
    font-weight: normal ;
    font-family:"Times New Roman",Times,serif ;
}
*/

input[type="radio"] {
    accent-color: gray ;
}

.button {
    width:40px ;
    margin:1px ;
}

div.hdr {
    /* header for sections and subtopics */
    /* blue, indent, full size           */
    color:steelblue ;
    margin-left:1em ;
    margin-bottom:4px ;
    font-weight: normal ;
    font-family: "Times New Roman",Times,serif ;
}

div.menu_hdr {
    /* header for sections and subtopics */
    /* blue, indent, full size           */
    color:black ;
    margin-left:1em ;
    margin-bottom:4px ;
    font-weight: normal ;
    font-family: "Times New Roman",Times,serif ;
}

span.label {
    /* label for statistics and values   */
    /* gray, small spacer, small font    */
    color:gray ;
    margin-left:5px ;
    font-size:smaller ;
    font-weight: normal ;
    font-family: "Times New Roman",Times,serif ;
}