Remove the pretty-printed log

It didn't work anymore due to the removal of nix-log2xml. And in any
case XSL is the work of the devil.

src/root/log.tt

@@ -8,10 +8,8 @@
   [% END %]
 </p>
 
-<hr />
-
-<div class="buildlog">
-[% logtext %]
-</div>
+<pre class="taillog" id="contents">
+[% HTML.escape(logtext) %]
+</pre>
 
 [% END %]

src/root/plain-reload.tt

@@ -1,11 +1,11 @@
-[% WRAPPER layout.tt title=title %]
+[% WRAPPER layout.tt title="Log of " _ (step ? " step $step.stepnr of " : "") _ "build ${build.id} of job $build.project.name:$build.jobset.name:$build.job.name" %]
 [% PROCESS common.tt %]
 
 [% project = build.project %]
 [% jobset = build.jobset %]
 [% job = build.job %]
 
-<h2>Last 50 log lines of [% INCLUDE renderFullJobNameOfBuild %] build <a href="[% c.uri_for('/build' build.id) %]">[% build.id %]</a>[%IF step %] step [% step.stepnr %][% END %]</h2>
+<p>Below are the last 50 log lines. The <a href="[% c.uri_for('/build' build.id 'log') %]">full log</a> is also available.</p>
 
 [% IF reload %]
 <script>

src/root/static/css/hydra.css

@@ -119,10 +119,8 @@ span.keep-whitespace {
     max-width: none; /* don't apply responsive design to status images */
 }
 
-pre.taillog {
+pre.log, pre.taillog {
     line-height: 1.2em;
-    max-height: 60em;
-    overflow: hidden;
 }
 
 div.flot-tooltip {

src/root/static/css/logfile.css

@@ -1,50 +0,0 @@
-em.storeref {
-    color: #500000;
-    position: relative;
-    width: 100%;
-}
-
-em.storeref:hover {
-    background-color: #eeeeee;
-}
-
-*.popup {
-    display: none;
-    background: #ffffcd;
-    border: solid #555555 1px;
-    position: absolute;
-    top: 0em;
-    left: 0em;
-    margin: 0;
-    padding: 0;
-    z-index: 100;
-}
-
-em.storeref:hover span.popup {
-    display: inline;
-    width: 40em;
-}
-
-span.code {
-    white-space: pre-wrap;
-    font-family: monospace;
-}
-
-.errorLine {
-    color: #ff0000;
-    font-weight: bold;
-}
-
-.warningLine {
-    color: darkorange;
-    font-weight: bold;
-}
-
-.prio3 {
-    font-style: italic;
-}
-
-a.lineno {
-    color: #909090;
-    float: right;
-}