/*
BOX SIZE CHANGING

author: Jens Brueckmann
        http://www.j-a-b.net/

      created: 2004-05-03
last modified: 2004-07-24
________________________________________________________________________________
This script is published under a Creative Commons License. For more information 
about this license visit http://creativecommons.org/licenses/by-sa/2.0/
________________________________________________________________________________
Comments are welcome :-) Use contact form or mail me at jens[at]j-a-b.net
________________________________________________________________________________
*/

function boxsize() {

  var newWidth  = document.getElementById('hyphenBoxWidth').value;

  document.getElementById('shyDemo').style.width = newWidth + '%';

}

function resetBox() {

  document.getElementById('shyDemo').style.width = '75%';

}