.ednote {
    border: 1px dashed black;
    background-color: #FFcccc;
    color: inherit;
}
.ednote:before {
    content: "Editorial Note: ";
    font-weight: bold;
}
.placeholder {
    background-color: #CCFFFF;
    color:inherit;
}
.WSDL {
    background-color: #BBAACC;
    color: inherit;
}
.Java {
    background-color: #AABBCC;
    color: inherit;
}
.IDL {
    background-color: #BBCCAA;
    color: inherit;
}
p.langLabel {
    display: inline;
    font-size: smaller;
    font-weight: lighter;
    font-style: italic;
}
.specref {
/* don't want any specific treatment */
}