Textboxes were changed to adapt to responsive design priciples.

Closes #3

Author: ngsankha

admin/problems.php

@@ -112,15 +112,15 @@
           </ul>
           <div class="tab-content">
             <div class="tab-pane active" id="tab1">
-          Problem Title: <input style="width:700px;" type="text" id="title" name="title"/><br/>
+          Problem Title: <input class="span8" type="text" id="title" name="title"/><br/>
           Detailed problem: <span class="label label-info">Markdown formatting supported</span></br/><br/>
-          <textarea style="width:785px; height:400px;" name="problem" id="text"></textarea><br/>
+          <textarea style="height:400px;" class="span9" name="problem" id="text"></textarea><br/>
           </div>
           <div class="tab-pane" id="tab2">
-          <textarea style="font-family: mono; width:785px; height:400px;" name="input" id="input"></textarea><br/>
+          <textarea style="font-family: mono; height:400px;" class="span9" name="input" id="input"></textarea><br/>
           </div>
           <div class="tab-pane" id="tab3">
-          <textarea style="font-family: mono; width:785px; height:400px;" name="output" id="output"></textarea><br/>
+          <textarea style="font-family: mono; height:400px;" class="span9" name="output" id="output"></textarea><br/>
           </div>
           </div>
           <input class="btn btn-primary btn-large" type="submit" value="Add Problem"/>

solve.php

@@ -97,9 +97,9 @@
         </ul>
       </div>
       <br/>
-      Filename: <input style="width:725px;" type="text" id="filename" name="filename" value="<?php if(!($num == 0)) echo($fields['filename']);?>"/>
+      Filename: <input class="span8" type="text" id="filename" name="filename" value="<?php if(!($num == 0)) echo($fields['filename']);?>"/>
       <br/>Type your program below:<br/><br/>
-      <textarea style="font-family: mono; width:785px; height:400px;" name="soln" id="text"><?php if(!($num == 0)) echo($fields['soln']);?></textarea><br/>
+      <textarea style="font-family: mono; height:400px;" class="span9" name="soln" id="text"><?php if(!($num == 0)) echo($fields['soln']);?></textarea><br/>
       <?php if($accept['accept'] == 1 and $status['status'] == 1) echo("<input type=\"submit\" value=\"Run\" class=\"btn btn-primary btn-large\"/>");
             else echo("<input type=\"submit\" value=\"Run\" class=\"btn disabled btn-large\" disabled=\"disabled\"/>");
       ?>