> li {
border-right: $border;
+ float: left;
&:last-child {
border-right: 0;
> a { border-radius: 0 $border-radius $border-radius 0; }
border-bottom: $keyline;
cursor: pointer;
- &.selected { background: lighten($green, 35%); }
+ &.selected { background: #FFFFE6; }
+ /* color is derived from changeset bbox fillColor in history.js */
}
.comment a {