/* used in example headers */
.example {
    width: 90%;
    font-style: italic;
}

/* for highligting breaking changes */
div.breaking {
    border: 1px solid #F44; 
    background-color: #FED; 
    padding-left: 1ex; 
    padding-right: 1ex;
}

table.footer {
    width: 100%;
}

.footer {
    color: #564b47;
    background-color: #fff;
    padding:0px;
    border-top:  1px solid #CCCCCC;
    margin-top: 3ex;
    font-size: smaller;
}


p.menu {
    padding-top: 0px;
    padding-bottom: 0px; 
    margin-top: 0px;
    margin-bottom: 0px;
}

.small { 
    font-size: smaller;
}

.strong, .bold { 
  font-weight: bold;
}

.author {
    text-align: left;
    font-weight: bold;
}

.definition {
    padding-left: 5px;
    padding-right: 5px;
    margin: 5px 50px 5px 50px;
    text-align: justify;
    background-color: #E6E64C;
}

.deftitle {
    font-weight: bold;
}