function reduce_text() {
    document.getElementById('page').style.display = 'none';
    document.getElementById('pagebackground').style.display = 'none';
    document.getElementById('page_reduced').style.display = 'block';
}

function expand_text() {
    document.getElementById('page_reduced').style.display = 'none';
    document.getElementById('pagebackground').style.display = 'block';
    document.getElementById('page').style.display = 'block';
}