diff --git a/public/stylesheets/application.css b/public/stylesheets/application.css --- a/public/stylesheets/application.css +++ b/public/stylesheets/application.css @@ -9,11 +9,6 @@ padding: 2px; } -div.problist-each { - margin-top: 2px; - margin-bottom: 2px -} - div.userbar { border-top: thin solid grey; border-bottom: thin solid grey; @@ -21,21 +16,6 @@ font-size: 12px; } -div.probname { - background-color: #eeeeee; - font-weight: bold; - padding: 2px; - border: 1px solid black; -} - -div.subinfo { - margin-left: 20px; - margin-top: 2px; - border-bottom: thin solid grey; - border-left: thin solid grey; - font-size: 12px; -} - div.compilermsgbody { font-family: monospace; } @@ -46,16 +26,15 @@ color: white; background-color: #777777; font-weight: bold; + font-size: 13px; } - table.uinfo { border-collapse: collapse; border: 1px solid black; font-size: 13px; } - td.uinfo { vertical-align: top; border: 1px solid black; @@ -92,3 +71,13 @@ tr.info-even { background: #eeeeee; } + +div.task-menu { + text-align: center; + font-size: 13px; + font-weight: bold; + border-top: 1px solid black; + border-bottom: 1px solid black; + margin-top: 2px; + margin-bottom: 4px; +}