/* covers both reference and glossary sections */


div.entry
{
    margin-left: 4mm;
    margin-top: 0.2em;
    text-indent: -4mm;
}


    div.entry span.head
    {
        font-family: sans-serif;
        font-weight: bold;
        margin-right: 0.4em;
    }



div.item
{
    margin-left: 4mm;
    margin-top: 0.2em;
    text-indent: -4mm;
}


    div.item span.bull
     /*
      * A bullet.
      * Ensure the text that follows abuts the end tag,
      * to keep it together on the same line, unbroken.
      */
    {
        font-weight: bold;
        margin-right: 0.4em;
    }


    div.item span.head
    {
        margin-right: 0.4em;
    }


    div.item span.key
    {
        font-weight: bold;
    }


        .glossary div.item span.key
        {
            font-family: sans-serif;
        }


    div.item span.tail
    {
        margin-right: 0.5em;
    }