<!DOCTYPE html>
<html>
<head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    <title>GDBFrontend</title>

    <base href="{url_base}" target="_blank">

    <link rel="shortcut icon" href="images/bug.png" />

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

    <script type="text/javascript">
        {js_init}
    </script>

    {gui_scripts}

    <script type="text/javascript" src="thirdparty/jquery-3.5.1.min.js"></script>

    <script type