1 <?php if (!defined('AT_INCLUDE_PATH')) { exit; } ?>
3 <?php if ($_SESSION['course_id'] > 0): ?>
4 <br /><div align="right" id="gototop" style="vertical-align:bottom;padding-right:3px;font-size:smaller;"><a href="<?php echo htmlspecialchars($_SERVER['REQUEST_URI'], ENT_QUOTES); ?>#content" style="border: 0px;" title="<?php echo _AT('goto_content'); ?>" ><?php echo _AT('goto_top'); ?></a></div>
8 <?php if (($_SESSION['course_id'] > 0) && $this->side_menu): ?>
10 <script type="text/javascript">
12 var state = getcookie("side-menu");
13 if (state && (state == 'none')) {
14 document.writeln('<div style="display:none;" id="side-menu">');
16 document.writeln('<div style="" id="side-menu">');
20 <?php foreach ($this->side_menu as $dropdown_file): ?>
21 <?php if (file_exists($dropdown_file)) { require($dropdown_file); } ?>
23 <script type="text/javascript">
25 document.writeln('</div>');
34 <?php require(AT_INCLUDE_PATH.'html/languages.inc.php'); ?>
35 <?php require(AT_INCLUDE_PATH.'html/copyright.inc.php'); ?>