home.css

.hlist {
    margin-top: 10pt;
    border: 1px solid #e3dcf2;
    padding:5px;
}

.hlist li {
    display: inline;
    display: inline-table;
    list-style-type: none;
    padding-right: 20px;
    
}

.entity {
    border: 1px solid #e3dcf2;
    margin:5px 0px 5px 0px;
    padding: 5px;    
}

.type-c {
    cursor:help;
    color:orange;
}

.type-op {
    cursor:help;
    color:navy;    
}

.type-dp {
    cursor:help;
    color:green;    
}

.description {
    background-color: rgb(242, 243, 244);
    margin-top:5px;
    padding-bottom:5px;
}

.description dl {
    background-color: rgb(242, 243, 244);
}

.description ul {
    padding-left: 12px;
    margin-top: 0px;
}

.backlink {
    font-size:10pt;
    text-align:right;
    float:right;
    color:black;
    padding: 2px;
    border: 1px solid #e3dcf2;
    background-color: #F4FFFF;
}

.logic {
    color: #007dc3;
    font-weight:bold;    
}


/** Back to Top / ToC Toggle **************************************************/

    @media print {
        #toc-nav {
            display: none;
        }
    }
    @media not print {
        #toc-nav {
            position: fixed;
            z-index: 2;
            bottom: 0; left: 0;
            margin: 0;
            min-width: 1.33em;
            font-size: 1.5em;
            color: black;
        }
        #toc-nav > a {
            display: block;
            white-space: nowrap;

            height: 2em;
            padding: .1em 0.3em;
            margin: 0;

            box-shadow: 0 0 2px;
            border: none;
            border-top-right-radius: 1em;
            border-bottom-right-radius: 1em;
            background: white;
        }
        #toc-nav > #toc-jump {
            padding-bottom: 2em;
            margin-bottom: 0em;
        }

        #toc-nav > a:hover,
        #toc-nav > a:focus {
            background: #f8f8f8;
        }
        #toc-nav > a:not(:hover):not(:focus) {
            color: #707070;
        }

        /* statusbar gets in the way on keyboard focus; remove once browsers fix */
        #toc-nav > a[href="#toc"]:not(:hover):focus:last-child {
            padding-bottom: 1.5rem;
        }

        #toc-nav:not(:hover) > a:not(:focus) > span + span {
            /* Ideally this uses :focus-within on #toc-nav */
            display: none;
        }
        #toc-nav > a > span + span {
            padding-right: 0.2em;
        }

        #toc-toggle-inline {
            vertical-align: 0.05em;
            font-size: 80%;
            color: gray;
            color: hsla(203,20%,40%,.7);
            border-style: none;
            background: transparent;
            position: relative;
        }
        #toc-toggle-inline:hover:not(:active),
        #toc-toggle-inline:focus:not(:active) {
            text-shadow: 1px 1px silver;
            top: -1px;
            left: -1px;
        }

        #toc-nav :active {
            color: #C00;
        }
    }

/** ToC Sidebar ***************************************************************/

    /* Floating sidebar */
    @media screen {
        body.toc-sidebar #toc {
            position: fixed;
            top: 0; bottom: 0;
            left: 0;
            width: 23.5em;
            max-width: 80%;
            max-width: calc(100% - 2em - 26px);
            overflow: auto;
            padding: 0 1em;
            padding-left: 42px;
            padding-left: calc(1em + 26px);
            background: inherit;
            background-color: #f7f8f9;
            z-index: 1;
            box-shadow: -.1em 0 .25em rgba(0,0,0,.1) inset;
        }
        body.toc-sidebar #toc h2 {
            margin-top: .8rem;
            font-variant: small-caps;
            font-variant: all-small-caps;
            text-transform: lowercase;
            font-weight: bold;
            color: gray;
            color: hsla(203,20%,40%,.7);
        }
        body.toc-sidebar #toc-jump:not(:focus) {
            width: 0;
            height: 0;
            padding: 0;
            position: absolute;
            overflow: hidden;
        }
    }
    /* Hide main scroller when only the ToC is visible anyway */
    @media screen and (max-width: 28em) {
        body.toc-sidebar {
            overflow: hidden;
        }
    }

    /* Sidebar with its own space */
    @media screen and (min-width: 78em) {
        body:not(.toc-inline) #toc {
            position: fixed;
            top: 0; bottom: 0;
            left: 0;
            width: 23.5em;
            overflow: auto;
            padding: 0 1em;
            padding-left: 42px;
            padding-left: calc(1em + 26px);
            background: inherit;
            background-color: #f7f8f9;
            z-index: 1;
            box-shadow: -.1em 0 .25em rgba(0,0,0,.1) inset;
        }
        body:not(.toc-inline) #toc h2 {
            margin-top: .8rem;
            font-variant: small-caps;
            font-variant: all-small-caps;
            text-transform: lowercase;
            font-weight: bold;
            color: gray;
            color: hsla(203,20%,40%,.7);
        }

        body:not(.toc-inline) {
            padding-left: 24em;
            padding-left: calc(23.5em );
        }
        /* See also Overflow section at the bottom */

        body:not(.toc-inline) #toc-jump:not(:focus) {
            width: 0;
            height: 0;
            padding: 0;
            position: absolute;
            overflow: hidden;
        }
    }
    @media screen and (min-width: 90em) {
        body:not(.toc-inline) {
            margin: 0 0em;
        }
    }