div.ao_history {
    padding: 4px;
    margin: 6px;
    line-height: 28px;
}

span.ao_transition {
    padding: 4px 0px 4px 0px;
    margin: 2px;
}

span.ao_state {
    border: 1px solid #af0200;
    padding: 4px;
    margin: 2px;
    white-space: nowrap;
}

div.ao_history span.selected {
    background: #eeeeee;
    font-weight: bold;
}

img.ao_arrow {
    border: 0px none;
}

a.no_outline {
    outline: none;
}

a.help {
    cursor: help;
}