irdparty/icofont/icofont.min.css" />

    <script type="text/javascript" src="components/GDBFrontend/js/CollabrationDraw.js"></script>
    <script type="text/javascript" src="components/GDBFrontend/js/GDBFrontend.js"></script>
    <link rel="stylesheet" type="text/css" href="components/GDBFrontend/css/GDBFrontend.css" />

    <link rel="stylesheet" type="text/css" href="css/override.css" />

    <script type="text/javascript">
        GDBFrontend.gui_mode = {gui_mode};
        GDBFrontend.is_verbo