// JavaScript Document

function init() {
  var $cheight = document.getElementById("content")-20;
  var $oheight = document.getElementById("options");
    
  if($cheight.scrollHeight > $oheight.scrollHeight) {
    $oheight.style.height = $cheight.scrollHeight+'px';
  }
}