
  --- 2c2 -----------------------
  < // Last edited on 2003-09-14 23:11:29 by stolfi

  > // Last edited on 2003-09-14 23:58:19 by stolfi

  --- 33c33 -----------------------
  < #declare abacus_slider_scale = abacus_slider_scaled_width / (1.02 * abacus_slider_width);

  > #declare abacus_slider_scale = abacus_slider_scaled_width / (1.05 * abacus_slider_width);
