.KeywordBase {
    font-weight: bold;
}

.GlyphBase {
    color: blue;
}

/*.Semicolon, .lpar, .rpar, .rbrace, .lbrace, .asterisk, .lbracket, .rbracket, .dollar {*/
/*    color: blue;*/
/*}*/

/*.colon, .lbrace, .rbrace {*/
/*    color: brown;*/
/*}*/

.Plus {
    font-weight: bold;
    color: darkgreen;
}

.Minus {
    font-weight: bold;
    color: darkred;
}

.DPKeyword {
    /*font-weight: bold;*/
    color: darkblue;
}


.NamesAny > .lbracket,
.NamesAny > .rbracket,
.NamesExact > .lbracket,
.NamesExact > .rbracket,
.NamesInterval > .lbracket, .NamesInterval > .rbracket {
    color: darkred;
}

.NamesKeyword {
    /*font-weight: bold;*/
    color: darkred;
}

.NamesInterval .minus {
    color: darkred;
}


.NameMapKeyword {
    font-weight: bold;
    color: darkgreen;;
}

.DPNameMap > .lpar, .DPNameMap > .rpar, .DPNameMap > .semicolon {
    color: darkgreen;
    font-weight: bold;
}

.EntryName {
    color: #995803;
}

.PHDPObject {
    font-style: italic;
    color: grey;
}

.IntegerBox {
    /*color: deeppink;*/

}

.DPHomMapKeyword {
    font-weight: bold;
    color: purple;
}

.DPHomMap > .lpar, .DPHomMap > .rpar, .DPHomMap > .semicolon {
    color: purple;
    font-weight: bold;
}

.DPObTypePosets {
    font-weight: bold;
    color: blue;
}


.DPObjectReference {
    color: purple;
}

.DPObHomMap > .lpar, .DPObHomMap > .rpar {
    color: purple;
}

.DPObHomMapKeyword {
    font-weight: bold;
    color: purple;
}

.DPHomExp .lpar, .DPHomExp .rpar,
.DPObjectExp .lpar, .DPObjectExp .rpar {
    color: #0b2e13;
}

.GenericObjectExpKeyword {
    font-weight: bold;
    color: #0b2e13;
}

.NamesReference {
    color: #0b2e13;
}

.GenericHomSimple > .GenericHomCat {
    vertical-align: sub;
    margin-left: -0.2em;
    margin-right: +0.2em;
}


/*.HomKeyword, .ObKeyword {*/
/*    font-weight: bold;*/
/*    !*color: blue;*!*/
/*}*/
/*.GenericHomExpKeyword,*/
/*.GenericDiagramKeyword,*/
/*.GenericObMapKeyword{*/
/*    font-weight: bold;*/
/*}*/
/*.OpKeyword,*/
/*.GenericFunctorKeyword,*/
/*.GenericObjectTensorKeyword,*/
/*.GenericObjectProductKeyword,*/
/*.GenericObjectCoTensorKeyword,*/
/*.GenericObjectCoProductKeyword{*/
/*    font-weight: bold;*/
/*}*/
.GenericHomSimple > .GenericHomCat,
.GenericDiagram > .GenericDiagramCat,
.GenericObMap > .GenericObMapCat,
.GenericObjectJoin > .GenericObjectJoinCat {
    vertical-align: sub;
    margin-left: -0.2em;
    margin-right: +0.2em;

    /* for display (not typing) */
    font-size: 80%;
    margin-left: -0.5em;
    margin-right: -0.6em;
}

.CategoryPrimitive > * {
    font-weight: bold;
    color: purple;
}

.CatSelfKeyword {
    color: blue;
}


td.test-string {
    background-color: lightgrey;;
}

td.test-parsed {
    border: solid 1px blue;
}

div.syntax-test {
    display: block;
    border: solid 1px black;
    margin: 1em;
    padding: 1em;
}

div.syntax-test-suite {
    display: block;
    border: solid 2px green;
    margin: 1em;
    padding: 1em;
}

tr.failed {
    color: red;
    border: solid 2px red;
    background-color: #eac8c8;
}

div.syntax-test.failed {
    border: solid 2px red;
}

div.syntax-test.failed h2 {
    color: red;
}


.PType {
    font-weight: bold;
    color: blue;
}

.Uninterpreted {
    outline: solid 1px blue;
}

.miss-ws {
    /*background-color: pink;*/
}

.miss-nws {
    /* missing not-whitespace: assuming comments */
    color: grey;
    /*background-color: purple;*/
}
