Description:
removed bold from submission_box git-svn-id: http://theory.cpe.ku.ac.th/grader/web/trunk@438 6386c4cd-e34a-4fa8-8920-d93eb39b512e
Commit status:
[Not Reviewed]
References:
Comments:
0 Commit comments 0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
Add another comment

r207:88a43bd82021 - - 2 files changed: 2 inserted, 3 deleted

@@ -1,8 +1,8
1 <% form_tag({:action => 'submit'}, :multipart => true) do %>
1 <% form_tag({:action => 'submit'}, :multipart => true) do %>
2 - Problem: <%= select 'submission', 'problem_id',
2 + <b>Problem:</b> <%= select 'submission', 'problem_id',
3 [[(t 'main.specified_in_header'),'-1']] +
3 [[(t 'main.specified_in_header'),'-1']] +
4 @problems.collect {|p| [p.full_name, p.id]},
4 @problems.collect {|p| [p.full_name, p.id]},
5 :selected => '-1' %>
5 :selected => '-1' %>
6 - File: <%= file_field_tag 'file' %>
6 + <b>File:</b> <%= file_field_tag 'file' %>
7 <%= submit_tag 'Submit' %>
7 <%= submit_tag 'Submit' %>
8 <% end %>
8 <% end %>
@@ -1,319 +1,318
1 /* Main Default */
1 /* Main Default */
2 body {
2 body {
3 background: white url(../images/topbg.jpg) repeat-x top center;
3 background: white url(../images/topbg.jpg) repeat-x top center;
4 font-size: 13px;
4 font-size: 13px;
5 font-family: Tahoma, "sans-serif";
5 font-family: Tahoma, "sans-serif";
6 margin: 10px;
6 margin: 10px;
7 padding: 10px;
7 padding: 10px;
8 }
8 }
9
9
10 /* Form Font */
10 /* Form Font */
11 input {
11 input {
12 font-family: Tahoma, "sans-serif";
12 font-family: Tahoma, "sans-serif";
13 }
13 }
14
14
15 /* Heading 1&2 */
15 /* Heading 1&2 */
16 h1 {
16 h1 {
17 font-size: 24px;
17 font-size: 24px;
18 color: #334488;
18 color: #334488;
19 line-height: 2em;
19 line-height: 2em;
20 }
20 }
21
21
22 h2 {
22 h2 {
23 font-size: 18px;
23 font-size: 18px;
24 color: #5566bb;
24 color: #5566bb;
25 line-height: 1.5em;
25 line-height: 1.5em;
26 }
26 }
27
27
28 /* Bar Line Color and Thickness */
28 /* Bar Line Color and Thickness */
29 hr {
29 hr {
30 border-top: 1px solid #dddddd;
30 border-top: 1px solid #dddddd;
31 border-bottom: 1px solid #eeeeee;
31 border-bottom: 1px solid #eeeeee;
32 }
32 }
33
33
34 /* Link + Anchor Color */
34 /* Link + Anchor Color */
35 a, a:link, a:visited {
35 a, a:link, a:visited {
36 color: #6666cc;
36 color: #6666cc;
37 text-decoration: none;
37 text-decoration: none;
38 }
38 }
39
39
40 a:hover, a:focus {
40 a:hover, a:focus {
41 color: #111166;
41 color: #111166;
42 text-decoration: none;
42 text-decoration: none;
43 }
43 }
44
44
45 /* This is the main menu bad*/
45 /* This is the main menu bad*/
46 div.userbar {
46 div.userbar {
47 line-height: 1.5em;
47 line-height: 1.5em;
48 text-align: right;
48 text-align: right;
49 font-size: 12px;
49 font-size: 12px;
50 }
50 }
51
51
52 /* This is the top bar, displaying user's full name */
52 /* This is the top bar, displaying user's full name */
53 div.title {
53 div.title {
54 // background: #ddddff;
54 // background: #ddddff;
55 // border: 1px dashed blue;
55 // border: 1px dashed blue;
56 padding: 10px 0px;
56 padding: 10px 0px;
57 line-height: 1.5em;
57 line-height: 1.5em;
58 font-size: 13px;
58 font-size: 13px;
59 }
59 }
60
60
61 div.title span.contest-over-msg {
61 div.title span.contest-over-msg {
62 font-size: 15px;
62 font-size: 15px;
63 color: red;
63 color: red;
64 }
64 }
65
65
66 div.title table {
66 div.title table {
67 width: 100%;
67 width: 100%;
68 font-weight: bold;
68 font-weight: bold;
69 }
69 }
70
70
71 div.title td.left-col {
71 div.title td.left-col {
72 text-align: left;
72 text-align: left;
73 vertical-align: top;
73 vertical-align: top;
74 color: #444444;
74 color: #444444;
75 }
75 }
76
76
77 div.title td.right-col {
77 div.title td.right-col {
78 text-align: right;
78 text-align: right;
79 vertical-align: top;
79 vertical-align: top;
80 font-size: 18px;
80 font-size: 18px;
81 color: #116699;
81 color: #116699;
82 }
82 }
83
83
84 /* Standard table with header and rows with alternating background */
84 /* Standard table with header and rows with alternating background */
85 table.info {
85 table.info {
86 margin: 10px 0;
86 margin: 10px 0;
87 border: 1px solid #666666;
87 border: 1px solid #666666;
88 border-collapse: collapse;
88 border-collapse: collapse;
89 font-size: 12px;
89 font-size: 12px;
90 }
90 }
91
91
92 table.info th {
92 table.info th {
93 border: 1px solid #666666;
93 border: 1px solid #666666;
94 line-height: 1.5em;
94 line-height: 1.5em;
95 padding: 0 0.5em;
95 padding: 0 0.5em;
96 }
96 }
97
97
98 table.info td {
98 table.info td {
99 border-left: 1px solid #666666;
99 border-left: 1px solid #666666;
100 border-right: 1px solid #666666;
100 border-right: 1px solid #666666;
101 line-height: 1.5em;
101 line-height: 1.5em;
102 padding: 0 0.5em;
102 padding: 0 0.5em;
103 }
103 }
104
104
105 tr.info-head {
105 tr.info-head {
106 background: #777777;
106 background: #777777;
107 color: white;
107 color: white;
108 }
108 }
109
109
110 tr.info-odd {
110 tr.info-odd {
111 background: #eeeeee;
111 background: #eeeeee;
112 }
112 }
113
113
114 tr.info-even {
114 tr.info-even {
115 background: #f9f9f9;
115 background: #f9f9f9;
116 }
116 }
117
117
118 /*******************************
118 /*******************************
119 [Main]
119 [Main]
120 ********************************/
120 ********************************/
121 div.submitbox {
121 div.submitbox {
122 background: #eeeeff;
122 background: #eeeeff;
123 border: 1px dotted #99aaee;
123 border: 1px dotted #99aaee;
124 padding: 5px;
124 padding: 5px;
125 margin: 10px 0px;
125 margin: 10px 0px;
126 color: black;
126 color: black;
127 - font-weight: bold;
128 font-size: 13px;
127 font-size: 13px;
129 }
128 }
130
129
131 div.errorExplanation {
130 div.errorExplanation {
132 border: 1px dotted gray;
131 border: 1px dotted gray;
133 color: #bb2222;
132 color: #bb2222;
134 padding: 5px 15px 5px 15px;
133 padding: 5px 15px 5px 15px;
135 margin-bottom: 5px;
134 margin-bottom: 5px;
136 background-color: white;
135 background-color: white;
137 font-weight: normal;
136 font-weight: normal;
138 }
137 }
139
138
140
139
141 div.errorExplanation h2 {
140 div.errorExplanation h2 {
142 color: #cc1111;
141 color: #cc1111;
143 font-weight: bold;
142 font-weight: bold;
144 }
143 }
145
144
146 /*******************************
145 /*******************************
147 [Settings]
146 [Settings]
148 ********************************/
147 ********************************/
149 table.uinfo {
148 table.uinfo {
150 border-collapse: collapse;
149 border-collapse: collapse;
151 border: 1px solid black;
150 border: 1px solid black;
152 font-size: 13px;
151 font-size: 13px;
153 }
152 }
154
153
155 td.uinfo {
154 td.uinfo {
156 vertical-align: top;
155 vertical-align: top;
157 border: 1px solid black;
156 border: 1px solid black;
158 padding: 5px;
157 padding: 5px;
159 }
158 }
160
159
161 th.uinfo {
160 th.uinfo {
162 background: lightgreen;
161 background: lightgreen;
163 vertical-align: top;
162 vertical-align: top;
164 text-align: right;
163 text-align: right;
165 border: 1px solid black;
164 border: 1px solid black;
166 padding: 5px;
165 padding: 5px;
167 }
166 }
168
167
169 /*******************************
168 /*******************************
170 [Submission]
169 [Submission]
171 ********************************/
170 ********************************/
172 div.compilermsgbody {
171 div.compilermsgbody {
173 font-family: monospace;
172 font-family: monospace;
174 }
173 }
175
174
176 div.task-menu {
175 div.task-menu {
177 text-align: center;
176 text-align: center;
178 font-size: 13px;
177 font-size: 13px;
179 line-height: 1.75em;
178 line-height: 1.75em;
180 font-weight: bold;
179 font-weight: bold;
181 border-top: 1px dashed gray;
180 border-top: 1px dashed gray;
182 border-bottom: 1px dashed gray;
181 border-bottom: 1px dashed gray;
183 margin-top: 2px;
182 margin-top: 2px;
184 margin-bottom: 4px;
183 margin-bottom: 4px;
185 }
184 }
186
185
187 /*******************************
186 /*******************************
188 [Submission]
187 [Submission]
189 ********************************/
188 ********************************/
190 table.taskdesc {
189 table.taskdesc {
191 border: 2px solid #dddddd;
190 border: 2px solid #dddddd;
192 border-collapse: collapse;
191 border-collapse: collapse;
193 margin: 10px auto;
192 margin: 10px auto;
194 width: 90%;
193 width: 90%;
195 font-size: 13px;
194 font-size: 13px;
196 }
195 }
197
196
198 table.taskdesc p {
197 table.taskdesc p {
199 font-size: 13px;
198 font-size: 13px;
200 }
199 }
201
200
202 table.taskdesc tr.name {
201 table.taskdesc tr.name {
203 border: 2px solid #dddddd;
202 border: 2px solid #dddddd;
204 background: #dddddd;
203 background: #dddddd;
205 color: #333333;
204 color: #333333;
206 font-weight: bold;
205 font-weight: bold;
207 font-size: 14px;
206 font-size: 14px;
208 line-height: 1.5em;
207 line-height: 1.5em;
209 text-align: center;
208 text-align: center;
210 }
209 }
211
210
212 table.taskdesc td.desc-odd {
211 table.taskdesc td.desc-odd {
213 padding: 5px;
212 padding: 5px;
214 padding-left: 20px;
213 padding-left: 20px;
215 background: #fefeee;
214 background: #fefeee;
216 }
215 }
217
216
218 table.taskdesc td.desc-even {
217 table.taskdesc td.desc-even {
219 padding: 5px;
218 padding: 5px;
220 padding-left: 20px;
219 padding-left: 20px;
221 background: #feeefe;
220 background: #feeefe;
222 }
221 }
223
222
224 /**********************
223 /**********************
225 Announcement
224 Announcement
226 ***********************/
225 ***********************/
227
226
228 div.announcementbox {
227 div.announcementbox {
229 margin: 10px 0px;
228 margin: 10px 0px;
230 background: #bbddee;
229 background: #bbddee;
231 padding: 1px;
230 padding: 1px;
232 }
231 }
233
232
234 div.announcementbox span.title {
233 div.announcementbox span.title {
235 font-weight: bold;
234 font-weight: bold;
236 color: #224455;
235 color: #224455;
237 padding-left: 10px;
236 padding-left: 10px;
238 line-height: 1.6em;
237 line-height: 1.6em;
239 }
238 }
240
239
241 div.announcement {
240 div.announcement {
242 margin: 2px;
241 margin: 2px;
243 background: white;
242 background: white;
244 padding: 1px;
243 padding: 1px;
245 padding-left: 10px;
244 padding-left: 10px;
246 padding-right: 10px;
245 padding-right: 10px;
247 padding-top: 5px;
246 padding-top: 5px;
248 padding-bottom: 5px;
247 padding-bottom: 5px;
249 }
248 }
250
249
251 .announcement p {
250 .announcement p {
252 font-size: 12px;
251 font-size: 12px;
253 margin: 2px;
252 margin: 2px;
254 }
253 }
255
254
256 div.pub-info, div.pub-info p {
255 div.pub-info, div.pub-info p {
257 text-align: right;
256 text-align: right;
258 font-style: italic;
257 font-style: italic;
259 font-size: 9px;
258 font-size: 9px;
260 }
259 }
261
260
262 .announcement .toggles {
261 .announcement .toggles {
263 font-weight: normal;
262 font-weight: normal;
264 float: right;
263 float: right;
265 font-size: 80%;
264 font-size: 80%;
266 }
265 }
267
266
268 .announcement .announcement-title {
267 .announcement .announcement-title {
269 font-weight: bold;
268 font-weight: bold;
270 }
269 }
271
270
272 /******************
271 /******************
273 Messages
272 Messages
274 ******************/
273 ******************/
275
274
276 div.message {
275 div.message {
277 margin: 10px 0 0;
276 margin: 10px 0 0;
278 }
277 }
279
278
280 div.message div.message {
279 div.message div.message {
281 margin: 0 0 0 30px;
280 margin: 0 0 0 30px;
282 }
281 }
283
282
284 div.message div.body {
283 div.message div.body {
285 border: 2px solid #dddddd;
284 border: 2px solid #dddddd;
286 background: #fff8f8;
285 background: #fff8f8;
287 padding-left: 5px;
286 padding-left: 5px;
288 }
287 }
289
288
290 div.message div.reply-body {
289 div.message div.reply-body {
291 border: 2px solid #bbbbbb;
290 border: 2px solid #bbbbbb;
292 background: #fffff8;
291 background: #fffff8;
293 padding-left: 5px;
292 padding-left: 5px;
294 }
293 }
295
294
296 div.message div.stat {
295 div.message div.stat {
297 font-size: 10px;
296 font-size: 10px;
298 line-height: 1.75em;
297 line-height: 1.75em;
299 padding: 0 5px;
298 padding: 0 5px;
300 color: #333333;
299 color: #333333;
301 background: #dddddd;
300 background: #dddddd;
302 font-weight: bold;
301 font-weight: bold;
303 }
302 }
304
303
305 div.message div.message div.stat {
304 div.message div.message div.stat {
306 font-size: 10px;
305 font-size: 10px;
307 line-height: 1.75em;
306 line-height: 1.75em;
308 padding: 0 5px;
307 padding: 0 5px;
309 color: #444444;
308 color: #444444;
310 background: #bbbbbb;
309 background: #bbbbbb;
311 font-weight: bold;
310 font-weight: bold;
312 }
311 }
313
312
314 /********************
313 /********************
315 Registration
314 Registration
316 ********************/
315 ********************/
317 div.contest-title {
316 div.contest-title {
318 color: white;
317 color: white;
319 text-align: center;
318 text-align: center;
You need to be logged in to leave comments. Login now