.boxit {
        BORDER-RIGHT: #bebebe 1px solid; 
PADDING-RIGHT: 1em; 
BORDER-TOP: #bebebe 1px solid; 
PADDING-LEFT: 1em; PADDING-BOTTOM: 0.2em; 
MARGIN: 4em 0em 1em; 
BORDER-LEFT: #bebebe 1px solid; 
PADDING-TOP: 0.2em; 
BORDER-BOTTOM: #bebebe 1px solid
}

.boxed-example {
background-color: #e1e1e1;
border: solid #bebebe 1px;
margin: 1em 2em 1em 2em;
padding: 0.2em 1em;
}

.editorial
{
background-color: #ddf;
color: Black;
}

.issue
{
background-color: #ADFF2F;
color: Black;
}

.eds-warning
{
background-color: #ffc1c1;
color: Black;
}

table.idl-table
{
TABLE-LAYOUT: fixed; 
MARGIN-RIGHT: 2em; 
MARGIN-TOP: 1em; 
MARGIN-BOTTOM: 1em; 
BACKGROUND-COLOR: rgb(192,192,192);
}

.method-name
{
BACKGROUND-COLOR: #c1eeff
}

.attribute-name, .parameter-name
{
BACKGROUND-COLOR: #ffffc1
}