/*
 * Copyright (c) 2003 Pixware. 
 *
 * This file is part of the XMLmind XML Editor project.
 * For conditions of distribution and use, see the accompanying legal.txt file.
 *
 * Styles for DocBook EBNF module.
 */

productionset {
    display: block;
    background-color: #EEEEEE; 
    border: thin solid gray; 
    padding: 2px; 
    margin: 1.33ex 0;
}

productionset > *:first-child {
    margin-top: 0;
    margin-bottom: 0;
}

production,
productionrecap {
    display: block;
    margin-left: 6ex; 
    margin-top: 1.33ex;
    margin-bottom: 1.33ex;
}

production:before {
    display: marker;
    content: "[" counter(n) "] ";
    color: #004080;
}

productionrecap {
    content: icon(left-link) attr(linkend); 
    vertical-align: text-top; /* for the icon */
    color: navy;
}

lhs,
rhs,
constraint {
    display: inline;
}

rhs:before {
    content: " ::= ";
    color: #004080;
}

constraint {
    content: " " icon(left-link) attr(linkend); 
    vertical-align: text-top; /* for the icon */
    color: navy;
}

nonterminal {
    display: inline;
    text-decoration: underline;
    color: navy;
}

constraintdef {
    display: block;
    /* content of constraintdef has a margin */
}