grms2000/header.php at master · universityofglasgow/grms2000 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
<!doctype html>
<html>
	<head>
		<title><?php echo $systemName; ?> - <?php echo $pageTitle; ?></title>
		<link rel="stylesheet" href="css/bootstrap.css" />
		<link rel="stylesheet" href="css/font-awesome.css" />
		<link rel="stylesheet" href="css/base.css" />
		<link rel="stylesheet" href="css/jquery-ui.css" />
		<link rel="stylesheet" href="css/jquery-ui-structures.css" />
		<link rel="stylesheet" href="css/jquery-ui-theme.css" />
		<script src="js/jquery.js"></script>
		<script src="js/jquery-ui.js"></script>
		<script src="js/jquery-validate.js"></script>
		<script src="js/bootstrap.js"></script>
		<script src="js/page-setup.js"></script>
	</head>
	<body>
		<div class="page-header">
    		<div class="container">
        		<div class="row">
        		    <div class="col-xs-3">
                        <h1 class="logo"><?php echo $systemName; ?></h1>
                    </div>
                    <div class="col-xs-9">
                        <?php if(isset($_SESSION['username'])) { ?>
                        <form action="search.php" method="get" class="form-horizontal user-search-form">
                			<div class="input-group">
                				<input type="text" name="q" id="q" value="<?php if(isset($_GET['q'])) { echo $_GET['q']; } ?>"class="form-control courses-autocomplete" />
                				<span class="input-group-btn"><button type="submit" class="btn btn-default"><i class="fa fa-search"></i><span class="hidden-xs-fdown"> Search</span></button></span>
                			</div>
                		</form>
                        <?php } ?>
                    </div>
        		</div>
    		</div>
		</div>
		<div class="container">

			<div id="panel">
				<div class="row">
    				<?php if(isset($_SESSION['username'])) { ?>
    				<div class="col-sm-9 col-sm-push-3">
                    <?php } else { ?>
                    <div class="col-xs-12">
                    <?php } ?>