~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/dispatch/html.py

  • Committer: stevenbird
  • Date: 2008-02-01 03:51:56 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:368
First version of a DTD for XML problem files

Show diffs side-by-side

added added

removed removed

Lines of Context:
80
80
 
81
81
    # Open the body element and write a bunch of stuff there (the header)
82
82
    req.write("""<body>
83
 
<div id="ivleheader">
 
83
<div id="ivleheader"></div>
 
84
<div id="ivleheader_text">
84
85
  <h1>IVLE</h1>
85
86
  <h2>Informatics Virtual Learning Environment</h2>
86
87
""")
103
104
        req.write("  <p><small>Warning: debuginfo is enabled. Remove this "
104
105
            "app from conf.apps.app_url when placed into production."
105
106
            "</small></p>\n")
 
107
    # ivleheader_tabs is a separate div, so it can be positioned absolutely
 
108
    req.write('</div>\n<div id="ivleheader_tabs">\n')
106
109
 
107
110
    if req.username:
108
111
        # Only print app tabs if logged in