Managment page has better look and feel.
tree7e59bed589c8f8e074cb2614c92e779a1f86f846
-rw-r--r-- 671 README
-rw-r--r-- 206 TODO.TXT
-rw-r--r-- 158068 adminer.php
-rw-r--r-- 3848 ajax.js
-rw-r--r-- 4113 assignment.php
-rw-r--r-- 11950 assignment_add.php
-rw-r--r-- 759 assignment_edit.php
-rw-r--r-- 4209 assignment_feed.php
-rw-r--r-- 1634 auth.php
-rw-r--r-- 1055 auth_root.php
-rw-r--r-- 1058 classes.php
-rw-r--r-- 3838 code_db.sql
-rw-r--r-- 2505 comment.php
-rw-r--r-- 3008 comment_feed.php
-rw-r--r-- 230 conn.php
-rw-r--r-- 4621 debug_popup.html
-rw-r--r-- 10997 debugger.js
-rw-r--r-- 2669 detail_lib.php
-rw-r--r-- 15955 detail_root.php
-rw-r--r-- 3371 enrollment.php
-rw-r--r-- 2029 enrollment_new.php
-rw-r--r-- 584 file_raw.php
-rw-r--r-- 16 footer.php
-rw-r--r-- 1375 general.js
drwxr-xr-x - gfx
-rw-r--r-- 476 graded.php
-rw-r--r-- 2304 header.php
-rw-r--r-- 496 help_me.php
drwxr-xr-x - include
-rw-r--r-- 5453 index.php
-rw-r--r-- 557 legend.php
-rw-r--r-- 1646 line_comment.php
-rw-r--r-- 364 login.php
-rw-r--r-- 3874 manage.php
-rw-r--r-- 3668 password_change.php
-rw-r--r-- 1130 password_change_user.php
-rw-r--r-- 479 sched_edit.php
-rw-r--r-- 6064 sh_c.js
-rw-r--r-- 3620 sh_c.min.js
-rw-r--r-- 6472 sh_cpp.js
-rw-r--r-- 3964 sh_cpp.min.js
-rw-r--r-- 1798 sh_ide-devcpp.min.css
-rw-r--r-- 2234 sh_ide-eclipse.css
-rw-r--r-- 14895 sh_main.js
-rw-r--r-- 5305 sh_main.min.js
-rw-r--r-- 2187 sh_makefile.js
-rw-r--r-- 5517 style.css
-rw-r--r-- 1645 time.php
-rw-r--r-- 2948 upload.php
-rw-r--r-- 617 user_details.php
-rw-r--r-- 1667 workflow_comments.php
-rw-r--r-- 2416 workflow_ungraded.php