function scrollBottom() {
  if ($("formatting-tips") != null && Element.visible("formatting-tips")) {
    Element.scrollTo("formatting-tips"); 
  }
}