$(document).ready(function() 
{
  $('#postlist dd').hover(
    function()
    {
      var t = $('> div.tools', this)[0];
      t.delay = setTimeout(function()
      { 
        $(t).slideDown(100);
      }, 800); 
    },
    function()
    {
      var t = $('> div.tools', this)[0];
      clearTimeout(t.delay);
      $(t).slideUp(100);
    }
  );
});