<!DOCTYPE html>
<?php require_once(dirname(__FILE__).'/./settings/settings.php') ?>
<html>
    <head>
        <meta charset="UTF-8">
        <meta http-equiv="X-UA-Compatible" content="IE=edge">
        <meta name="viewport" content="width=device-width, initial-scale=1">
        <!-- The above 3 meta tags *must* come first in the head;
        any other head content must come *after* these tags -->

        <script src="node_modules/jquery/dist/jquery.min.js"></script>
        <script src="node_modules/bootstrap/dist/js/bootstrap.min.js" charset="utf-8"></script>

        <link rel="stylesheet" href="node_modules/bootstrap/dist/css/bootstrap.min.css">
        <link rel="stylesheet" href="node_modules/font-awesome/css/font-awesome.min.css">
        <link rel="stylesheet" href="node_modules/lightbox2/dist/css/lightbox.min.css">
        <link rel="stylesheet" href="css/aiml.css">

        <title>Department of Logic - AiML 2016</title>

        <!--
        Removed this, because it's not consistent with the Department branding, and won't set the RSS feed's icon either
        (the latter is probably set from phil.elte.hu's favicon).
        -->
        <!-- <link rel="shortcut icon" href="favicon.ico" sizes="16x16" type="image/x-icon"> -->

        <script>
            function toggleMenu() {
                if ($('#hamburger').css('display') !== 'none') {
                    $('#menu').slideToggle(400);
                }
            }
        </script>
    </head>
    <body>
        <div id="body">
            <div id="header" data-spy="affix" data-offset-top="85">
                <img src="img/dept.png" class="affix-exclude" />
                <img src="img/dept-affix.png" style="display:none" class="affix-img" />
                <a href="http://phil.elte.hu/logic">
                    <div class="affix-exclude header-text header-text-left dept-text dept-logo">
                        <span class="dept-logo-first-line">Department of</span><br>
                        <span class="dept-logo-second-line">LOGIC</span>
                    </div>
                    <div class="affix-exclude header-text dept-text">
                        EÖTVÖS UNIVERSITY,<br>
                        BUDAPEST
                    </div>
                </a>
                <div class="header-text header-text-left conf-text">
                    <a href="javascript:toggleMenu()">
                        <i class="fa fa-bars" style="display:none" id="hamburger">&nbsp;</i>
                    </a>
                    <span class="conf-name-long">Advances in Modal Logic 2016</span>
                    <span class="conf-name-short" style="display:none">AiML 2016</span>
                </div>
            </div>
            <?php
            $page_display_names_for_short_names = array(
                'news' => 'News',
                'important_dates' => 'Important Dates',
                'call_for_papers' => 'Call for Papers',
                'paper_submissions' => 'Paper Submissions',
                'invited_speakers' => 'Invited Speakers',
                'chagrov_memorial_session' => 'Chagrov Memorial Session',
                'accepted_papers' => 'Accepted Papers',
                'program' => 'Program',
                'registration' => 'Registration',
                'location' => 'Location',
                'accomodation' => 'Accomodation',
                'committees' => 'Committees',
                'aiml_series' => 'AiML Series',
                'contact' => 'Contact',
            );
            $requested_page = array_key_exists('page', $_GET) ? $_GET['page'] : 'news';
            $valid_pages = array_keys($page_display_names_for_short_names);
            $page = in_array($requested_page, $valid_pages) ? $requested_page : 'news';
            ?>
            <div id="menu_and_content_container" class="container-fluid">
                <div class="row row-eq-height">
                    <div id="menu"
                         role="navigation"
                         class="col-xs-3 <?= $page == 'program' ? 'program-menu' : '' ?>"
                         onclick="toggleMenu()"
                         data-spy="affix"
                         data-offset-top="85">
                        <ul class="nav nav-pills nav-stacked">
                        <?php
                        foreach ($page_display_names_for_short_names as $menu_item => $menu_item_display) {
                        ?>
                            <li role="presentation" <?= $page == $menu_item ? 'class="active"' : '' ?>>
                                <a href="./?page=<?= $menu_item ?>">
                                    <!-- <div class="menu_item<?php /* if ($page == $menu_item){ echo ' active';} */ ?>"> -->

                                        <?= $menu_item_display ?>
                                    <!-- </div>  -->
                                </a>
                                <?= $page == 'program' && $menu_item == 'program' ?
                                    '<ul class="program-nav">
                                        <li><a href="#tuesday">Tuesday</a></li>
                                        <li><a href="#wednesday">Wednesday</a></li>
                                        <li><a href="#thursday">Thursday</a></li>
                                        <li><a href="#friday">Friday</a></li>
                                    </ul>'
                                    : ''
                                ?>
                            </li>
                        <?php
                        }
                        ?>
                        </ul>
                    </div>
                    <div id="content" class="col-xs-9" data-spy="affix" data-offset-top="85">
                        <?php
                        include 'pages/' . $page . '.php';
                        ?>
                    </div>
                </div>
            </div>
            <div id="footer">
                <small>2008</small>
            </div>
        </div>

        <script src="node_modules/lightbox2/dist/js/lightbox.min.js"></script>

    </body>
</html>
