drop typed_eid() in favour of int() (closes #2742462)
typed_eid was introduced to abstract the eid type when running on Google AppEngine.
It is not used anymore and can be removed. Let's use int() instead.
/* sortable tables */
table.listing tr .headerSortUp {
background-image: url(asc.gif);
}
table.listing tr .headerSortDown {
background-image: url(desc.gif);
}
table.listing tr .headerSortDown, table.listing tr .headerSortUp {
background-color: %(listingBorderColor)s;
background-repeat: no-repeat;
background-position: center right;
}