Function resize

web_server/public/javascripts/draw_graph.js:757–792

(showDocs)

    desiredDocsHeight = 300;

function resize(showDocs) {
    var docsHeight = 0,
        graphHeight,
        $docs = $('#docs-container'),
        $graphCtnr = $('#graph-container'),
        $graphBox = $('#graph'),
        $graphSVG = $('#graph-svg'),
        $close = $('#docs-close');

    if (typeof showDocs == 'boolean') {
        showingDocs = showDocs;
        $docs[showDocs ? 'show' : 'hide']();
    }

    if (showingDocs) {
        docsHeight = desiredDocsHeight;
        $docs.css('height', docsHeight + 'px');
    }

    let graphElement = document.getElementById('graph');

    graphHeight = window.innerHeight - docsHeight;
    $graphBox.css('height', graphHeight + 'px');
    $graphSVG.css('width', graphElement.clientWidth + 'px');
    $graphSVG.css('height', graphElement.clientHeight + 'px');
    $graphCtnr.css('height', graphHeight + 'px');

    if (graph.simulation) {
        graph.simulation.force("center", d3.forceCenter(graphElement.clientWidth / 2, graphElement.clientHeight / 2));
    }

    $close.css({
        top: graphHeight + docsClosePadding + 'px',
        right: window.innerWidth - $docs[0].clientWidth + docsClosePadding + 'px'
    });
}

/* eslint-disable-next-line no-unused-vars */
function doZoom(event, obj) {