diff --git a/public/stylesheets/application.css b/public/stylesheets/application.css
--- a/public/stylesheets/application.css
+++ b/public/stylesheets/application.css
@@ -1,342 +1,237 @@
-/* Main Default */
 body {
-    background: white url(../images/topbg.jpg) repeat-x top center;
-    font-size: 13px;
-    font-family: Tahoma, "sans-serif";
-    margin: 10px;
-    padding: 10px;
-}
+  background: white url(../images/topbg.jpg) repeat-x top center;
+  font-size: 13px;
+  font-family: Tahoma, "sans-serif";
+  margin: 10px;
+  padding: 10px; }
 
-/* Form Font */
 input {
-    font-family: Tahoma, "sans-serif";
-}
+  font-family: Tahoma, "sans-serif"; }
 
-/* Heading 1&2 */
 h1 {
-    font-size: 24px;
-    color: #334488;
-    line-height: 2em;
-}
+  font-size: 24px;
+  color: #334488;
+  line-height: 2em; }
 
 h2 {
-    font-size: 18px;
-    color: #5566bb;
-    line-height: 1.5em;
-}
-
-/* Bar Line Color and Thickness */ 
-hr {
-    border-top: 1px solid #dddddd;
-    border-bottom: 1px solid #eeeeee;
-}
+  font-size: 18px;
+  color: #5566bb;
+  line-height: 1.5em; }
 
-/* Link + Anchor Color */
-a, a:link, a:visited {
-    color: #6666cc;
-    text-decoration: none;
-}
-
-a:hover, a:focus {
-    color: #111166;
-    text-decoration: none;
-}
+hr {
+  border-top: 1px solid #dddddd;
+  border-bottom: 1px solid #eeeeee; }
 
-/* This is the main menu bad*/
-div.userbar { 
-    line-height: 1.5em;
-    text-align: right;
-    font-size: 12px;
-}
+a {
+  color: #6666cc;
+  text-decoration: none; }
+  a:link, a:visited {
+    color: #6666cc;
+    text-decoration: none; }
+  a:hover, a:focus {
+    color: #111166;
+    text-decoration: none; }
 
-/* This is the top bar, displaying user's full name */
+div.userbar {
+  line-height: 1.5em;
+  text-align: right;
+  font-size: 12px; }
 div.title {
-    // background: #ddddff;
-    // border: 1px dashed blue;
-    padding: 10px 0px;
-    line-height: 1.5em;
-    font-size: 13px;
-}
-
-div.title span.contest-over-msg {
+  padding: 10px 0px;
+  line-height: 1.5em;
+  font-size: 13px; }
+  div.title span.contest-over-msg {
     font-size: 15px;
-    color: red;
-}
-
-div.title table {
+    color: red; }
+  div.title table {
     width: 100%;
-    font-weight: bold;
-}
-
-div.title td.left-col {
+    font-weight: bold; }
+  div.title td.left-col {
     text-align: left;
     vertical-align: top;
-    color: #444444;
-}
-
-div.title td.right-col {
+    color: #444444; }
+  div.title td.right-col {
     text-align: right;
     vertical-align: top;
     font-size: 18px;
-    color: #116699;
-}
+    color: #116699; }
 
-/* Standard table with header and rows with alternating background */
 table.info {
-    margin: 10px 0;
-    border: 1px solid #666666;
-    border-collapse: collapse;
-    font-size: 12px;
-}
-
-table.info th {
+  margin: 10px 0;
+  border: 1px solid #666666;
+  border-collapse: collapse;
+  font-size: 12px; }
+  table.info th {
     border: 1px solid #666666;
     line-height: 1.5em;
-    padding: 0 0.5em;
-}
-
-table.info td {
+    padding: 0 0.5em; }
+  table.info td {
     border-left: 1px solid #666666;
     border-right: 1px solid #666666;
     line-height: 1.5em;
-    padding: 0 0.5em;
-}
+    padding: 0 0.5em; }
 
 tr.info-head {
-    background: #777777;
-    color: white;
-}
-
+  background: #777777;
+  color: white; }
 tr.info-odd {
-    background: #eeeeee;
-}
-
+  background: #eeeeee; }
 tr.info-even {
-    background: #f9f9f9;
-}
+  background: #f9f9f9; }
 
-/*******************************
- [Main]
-********************************/
-div.submitbox {
-    background: #eeeeff;
-    border: 1px dotted #99aaee;
-    padding: 5px;
-    margin: 10px 0px;
-    color: black;
-    font-size: 13px;
-}
+.infobox {
+  background: #eeeeff;
+  border: 1px dotted #99aaee;
+  padding: 5px;
+  margin: 10px 0px;
+  color: black;
+  font-size: 13px; }
 
-div.errorExplanation {
-    border: 1px dotted gray;
-    color: #bb2222;
-    padding: 5px 15px 5px 15px;
-    margin-bottom: 5px;
-    background-color: white;
-    font-weight: normal;
-}
+.submitbox {
+  background: #eeeeff;
+  border: 1px dotted #99aaee;
+  padding: 5px;
+  margin: 10px 0px;
+  color: black;
+  font-size: 13px; }
 
-
-div.errorExplanation h2 {
+.errorExplanation {
+  border: 1px dotted gray;
+  color: #bb2222;
+  padding: 5px 15px 5px 15px;
+  margin-bottom: 5px;
+  background-color: white;
+  font-weight: normal; }
+  .errorExplanation h2 {
     color: #cc1111;
-    font-weight: bold;
-}
+    font-weight: bold; }
 
-/*******************************
- [Settings]
-********************************/
 table.uinfo {
-    border-collapse: collapse;
-    border: 1px solid black;
-    font-size: 13px;
-}
+  border-collapse: collapse;
+  border: 1px solid black;
+  font-size: 13px; }
 
 td.uinfo {
-    vertical-align: top;
-    border: 1px solid black;
-    padding: 5px;
-}
+  vertical-align: top;
+  border: 1px solid black;
+  padding: 5px; }
 
 th.uinfo {
-    background: lightgreen;
-    vertical-align: top;
-    text-align: right;
-    border: 1px solid black;
-    padding: 5px;
-}
+  background: lightgreen;
+  vertical-align: top;
+  text-align: right;
+  border: 1px solid black;
+  padding: 5px; }
 
-/*******************************
- [Submission]
-********************************/
 div.compilermsgbody {
-    font-family: monospace;
-}
-
+  font-family: monospace; }
 div.task-menu {
-    text-align: center;
-    font-size: 13px;
-    line-height: 1.75em;
-    font-weight: bold;
-    border-top: 1px dashed gray;
-    border-bottom: 1px dashed gray;
-    margin-top: 2px;
-    margin-bottom: 4px;
-}
+  text-align: center;
+  font-size: 13px;
+  line-height: 1.75em;
+  font-weight: bold;
+  border-top: 1px dashed gray;
+  border-bottom: 1px dashed gray;
+  margin-top: 2px;
+  margin-bottom: 4px; }
 
-/*******************************
- [Submission]
-********************************/
 table.taskdesc {
-    border: 2px solid #dddddd;
-    border-collapse: collapse;
-    margin: 10px auto;
-    width: 90%;
-    font-size: 13px;
-}
-
-table.taskdesc p {
-    font-size: 13px;
-}
-
-table.taskdesc tr.name {
+  border: 2px solid #dddddd;
+  border-collapse: collapse;
+  margin: 10px auto;
+  width: 90%;
+  font-size: 13px; }
+  table.taskdesc p {
+    font-size: 13px; }
+  table.taskdesc tr.name {
     border: 2px solid #dddddd;
     background: #dddddd;
     color: #333333;
     font-weight: bold;
     font-size: 14px;
     line-height: 1.5em;
-    text-align: center;
-}
-
-table.taskdesc td.desc-odd {
+    text-align: center; }
+  table.taskdesc td.desc-odd {
     padding: 5px;
     padding-left: 20px;
-    background: #fefeee;
-}
-
-table.taskdesc td.desc-even {
+    background: #fefeee; }
+  table.taskdesc td.desc-even {
     padding: 5px;
     padding-left: 20px;
-    background: #feeefe;
-}
-
-/**********************
-   Announcement
-***********************/
+    background: #feeefe; }
 
 div.announcementbox {
-    margin: 10px 0px;
-    background: #bbddee;
-    padding: 1px;
-}
-
-div.announcementbox span.title {
+  margin: 10px 0px;
+  background: #bbddee;
+  padding: 1px; }
+  div.announcementbox span.title {
     font-weight: bold;
     color: #224455;
     padding-left: 10px;
-    line-height: 1.6em;
-}
-
+    line-height: 1.6em; }
 div.announcement {
-    margin: 2px;
-    background: white;
-    padding: 1px;
-    padding-left: 10px;
-    padding-right: 10px;
-    padding-top: 5px;
-    padding-bottom: 5px;
-}
+  margin: 2px;
+  background: white;
+  padding: 1px;
+  padding-left: 10px;
+  padding-right: 10px;
+  padding-top: 5px;
+  padding-bottom: 5px; }
 
 .announcement p {
-    font-size: 12px;
-    margin: 2px;
-}
+  font-size: 12px;
+  margin: 2px; }
 
-div.pub-info, div.pub-info p {
+div.pub-info {
+  text-align: right;
+  font-style: italic;
+  font-size: 9px; }
+  div.pub-info p {
     text-align: right;
     font-style: italic;
-    font-size: 9px;
-}
+    font-size: 9px; }
 
 .announcement .toggles {
-    font-weight: normal;
-    float: right;
-    font-size: 80%;
-}
-
+  font-weight: normal;
+  float: right;
+  font-size: 80%; }
 .announcement .announcement-title {
-    font-weight: bold;
-}
-
-/******************
-   Messages
-******************/
+  font-weight: bold; }
 
 div.message {
-    margin: 10px 0 0;
-}
-
-div.message div.message {
-    margin: 0 0 0 30px;
-}
-
-div.message div.body {
+  margin: 10px 0 0; }
+  div.message div.message {
+    margin: 0 0 0 30px; }
+  div.message div.body {
     border: 2px solid #dddddd;
     background: #fff8f8;
-    padding-left: 5px;
-}
-
-div.message div.reply-body {
+    padding-left: 5px; }
+  div.message div.reply-body {
     border: 2px solid #bbbbbb;
     background: #fffff8;
-    padding-left: 5px;
-}
-
-div.message div.stat {
+    padding-left: 5px; }
+  div.message div.stat {
     font-size: 10px;
     line-height: 1.75em;
     padding: 0 5px;
     color: #333333;
     background: #dddddd;
-    font-weight: bold;
-}
-
-div.message div.message div.stat {
+    font-weight: bold; }
+  div.message div.message div.stat {
     font-size: 10px;
     line-height: 1.75em;
     padding: 0 5px;
     color: #444444;
     background: #bbbbbb;
-    font-weight: bold;
-}
-
-/********************
-   Registration
-********************/
+    font-weight: bold; }
 div.contest-title {
-    color: white;
-    text-align: center;
-    line-height: 2em;
-}
-
-div.registration-desc {
-    border: 1px dotted gray;
-    background: #f5f5f5;
-    padding: 5px;
-    margin: 10px 0;
-    font-size: 12px;
-    line-height: 1.5em;
-}
-
-/********************
-  [Test Interface]
-********************/
-
-div.test-desc {
-    border: 1px dotted gray; 
-    background: #f5f5f5;
-    padding: 5px;
-    margin: 10px 0;
-    font-size: 12px;
-    line-height: 1.5em;
-}
+  color: white;
+  text-align: center;
+  line-height: 2em; }
+div.registration-desc, div.test-desc {
+  border: 1px dotted gray;
+  background: #f5f5f5;
+  padding: 5px;
+  margin: 10px 0;
+  font-size: 12px;
+  line-height: 1.5em; }