/*!
 * Show/hide the list of the table of contents in an article page.
 */
function toggleTOC()
{
    var toc = document.getElementById("toc_list")
    var exp = document.getElementById("expand")

    if (toc.style.display == '')
    {
        toc.style.display = 'none'
        exp.innerHTML = 'show'
    }
    else
    {
        toc.style.display = ''
        exp.innerHTML = 'hide'
    }
}