1 <?php if (!defined('AT_INCLUDE_PATH')) { exit; } global $system_courses; ?>
3 <?php if ($_SESSION['course_id'] > 0): ?>
5 <a href="<?php echo htmlspecialchars($_SERVER['REQUEST_URI'], ENT_QUOTES); ?>#content" title="<?php echo _AT('goto_content'); ?> Alt-c" ><?php echo _AT('goto_top'); ?></a>
8 </div> <!-- END of content style -->
10 <?php if ($_SESSION['course_id']>0 && $system_courses[$_SESSION['course_id']]['side_menu'] && $_SESSION['prefs']['PREF_MENU']=="right"): ?>
11 <div id="side-menu" class="orderable" style="display:inline; float:left">
12 <div class="grab"><img src="<?php echo $this->img; ?>layers.png" /></div>
13 <?php require(AT_INCLUDE_PATH.'side_menu.inc.php'); ?>
17 </div> <!-- END of <div id="contentwrapper"> -->
21 <?php require(AT_INCLUDE_PATH.'html/languages.inc.php'); ?>
22 <?php require(AT_INCLUDE_PATH.'html/copyright.inc.php'); ?>
29 <script type="text/javascript">
31 <?php require_once(AT_INCLUDE_PATH.'../jscripts/ATutor_js.php'); ?>