/** This make sure the filter stays on the right side of the page
 This doesn't seem needed but it currently doesn't hurt*/
#changelist-filter {
  float: right;
  position: relative !important;
}