body
{ 
    font-family: "Ariel", sans-serif;
    background: white;
    color: black;
    margin-left: 1.0em;
    margin-right: 1.0em;
    font-size: 0.8em;
}

/* -------------------------------------------- */

.heading
{
    font-size: 2em;
    font-weight: bold;
    display: block;
}

/* -------------------------------------------- */

.navigate
{
    display: block;
    text-align: right;
    font-size: 1em;
}

/* -------------------------------------------- */

.toc-line
{
    display: block;
}

.toc-space
{
    visibility: hidden;	
}

/* -------------------------------------------- */

.clause-depth
{
    display: block;
    color: black;
    font-style: normal;
    font-size: 1.5em;
}

.clause-number-link
{
    color: black;
}

.clause-title-previous
{
    color: gray;
}

/* -------------------------------------------- */

.locator
{
    display: block;
    border-top: thin solid gray;
    text-align: right;
    color: navy;
    font-weight: bold;
}

.paragraph
{
    padding-top: 0.5em;
    padding-bottom: 0.5em;
    display: block;
}

.sentence
{
    display: inline;
}

.sentence-number
{
    color: navy;
    background: yellow;
    font-weight: bold;
}

/* -------------------------------------------- */

.grammar-production
{
    padding-top: 1em;
    padding-bottom: 1em;
    display: block;
    font-size: 0.9em;
}

.grammar-production .name
{
    text-indent: 2em;
    font-family: "Courier New", Courier, monospace;
    font-style: italic;
    background: moccasin;
}
.grammar-production .rhs
{
    display: block;
    text-indent: 4em;
    font-family: "Courier New", Courier, monospace;
}
.grammar-production .rhs .non-terminal
{
    font-style: italic;
}
.grammar-production .rhs .terminal
{
    color: black;
    font-weight: bold;
}
.grammar-production .rhs .keyword
{
    color: navy;
    font-weight: bold;
}

/* -------------------------------------------- */

.ruler
{
    display: block;
    border-top: thin solid gray;
    padding: 1em;
}

/* -------------------------------------------- */

.symbol
{
    font-family: "Courier New", Courier, monospace;
    color: black;
    font-weight: bold;
}

.keyword
{
    font-family: "Courier New", Courier, monospace;
    color: navy;
    font-weight: bold;
}

.informative .keyword,
.example .keyword,
.note .keyword,
.example .symbol,
.note .symbol
{
    font-family: "Courier New", Courier, monospace;
    color: green;
    font-weight: bold;
}

/* -------------------------------------------- */

.example,
.note pre.code-example,
.informative pre.code-example
{
    margin-left: 4em;
    font-family: "Courier", monospace;
    color: green;
    background: moccasin;
    font-size: 0.8em;
    font-weight: bold;
}


/* -------------------------------------------- */

.term-definition
{
    font-weight: bold;
}

.li 
{
   display: block;
   padding-top: 0.5em;
}

/* -------------------------------------------- */

.informative, 
.example, 
.note,
.informative table tr th,
.informative table tr td,
.example table tr th,
.example table tr td,
.note table tr th,
.note table tr td
{
    color: green;
}