1 <?php if (!defined('AT_INCLUDE_PATH')) { exit; } ?>
3 <?php if ($_SESSION['course_id'] > 0): ?>
5 <div align="right" style="clear: left;" id="gototop">
7 <span style="font-size:smaller;padding-right:3px;"><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> </span>
14 <?php if (($_SESSION['course_id'] > 0) && $this->side_menu): ?>
16 <script type="text/javascript">
18 var state = getcookie("side-menu");
19 if (state && (state == 'none')) {
20 document.writeln('<a name="menu"></a><div style="display:none;" id="side-menu">');
22 document.writeln('<a name="menu"></a><div style="" id="side-menu">');
27 <?php require(AT_INCLUDE_PATH.'side_menu.inc.php'); ?>
29 <script type="text/javascript">
31 document.writeln('</div>');
40 <?php require(AT_INCLUDE_PATH.'html/languages.inc.php'); ?>
41 <?php require(AT_INCLUDE_PATH.'html/copyright.inc.php'); ?>