body { max-width: 50em }
p, dt, dd, li { line-height: 1.3 }
p.right { text-align: right }
code { font-size: larger }
blockquote {font-style: italic}
blockquote span.author { font-style: normal }
ul.inline li { display: inline}
hr { width: 50%; thick: 1px }

/* 
 * "compact" dictionary lists (deprecated after HTML 3, obsolete in HTML5). 
 */
dl[compact] dd dl[compact] {
    padding: 0.5em;
}
dl[compact] dd dl[compact] dt{
    float: left;
    clear: left;
    width: 5em;
    text-align: left;
    font-weight: bold;
    /* color: green; */
}
/** append a colon to the dictionary term
dl[compact] dd dl[compact] dt::after {
    content: ":";
} **/
dl[compact] dd dl[compact] dd {
    margin: 0 0 0 5em;
    padding: 0 0 0 1.5em;
}

/* 
 * style for @dictionary{foo, definitions}
 */
div.definitions dl {
    /* margin: 0 0 0 0  */
    padding: 0 0 0 0 
}
div.definitions dl dt {
    float: left;
    clear: left;
    width: 5em;
    text-align: left;
    /* font-weight: bold; */
    /* color: green; */
}
div.definitions dl dd {
    margin: 0 0 0 5em;
    padding: 0 0 0 1.5em;
}

/*
 * Table of Contents
 */
div.contents {
    float: left; 
    border: 2px solid blue; 
    margin: 0em 2em 1em 0;
    width:  35%
}

table.menu, h1.settitle {
    display: none
}


div.contents ul li {
    list-style-type: none;
    position: relative;
}

div.contents ul li ul {
    display: none;
}

div.contents ul li.open > ul {
    display: block;
}

div.contents ul li a {
    color: black;
    text-decoration: none;
}

div.contents ul li a:before {
    height: 1em;
    padding:0 .1em;
    font-size: .8em;
    display: block;
    position: absolute;
    left: -1.3em;
    top: .2em;
}

div.contents ul li > a:not(:last-child):before {
    content: '+';
}

div.contents ul li.open > a:not(:last-child):before {
    content: '-';
}

a.summary-letter {text-decoration: none}
blockquote.indentedblock {margin-right: 0em}
blockquote.smallindentedblock {margin-right: 0em; font-size: smaller}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smalllisp {margin-left: 3.2em}
kbd {font-style: oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nolinebreak {white-space: nowrap}
span.roman {font-family: initial; font-weight: normal}
span.sansserif {font-family: sans-serif; font-weight: normal}