add some css rules so that selecting a range of rows in a windowed list is MUCH better in Safari, at least for our applications, and also consistent with chrome/firefox.
add some css rules so that selecting a range of rows in a windowed list is MUCH better in Safari, at least for our applications, and also consistent with chrome/firefox.

sagemathinc/smc,sagemathinc/smc,sagemathinc/smc,sagemathinc/smc