1<a name="${spec.Id}">${spec.Name}</a>
 2
 3<if condition="spec.Status == Status.Failing">
 4  <div class="failure">
 5    &lArr; FAILED
 6    <ul class="prev-next">
 7      <li class="failure">
 8        <a if="spec.PreviousFailed != null"
 9           href="#${spec.PreviousFailed.Id}" title="Go to previous failed specification">&uArr;</a>
10      </li>
11      <li class="failure">
12        <a if="spec.NextFailed != null"
13           href="#${spec.NextFailed.Id}" title="Go to next failed specification">&dArr;</a>
14      </li>
15    </ul>
16  </div>
17  <p class="exception_type">
18    ${spec.Exception.TypeName}
19  </p>
20  <pre class="exception_message">${spec.Exception}</pre>
21</if>
22
23<div if="spec.Status == Status.NotImplemented" class="notimplemented">
24  &lArr; NOT IMPLEMENTED
25  <ul class="prev-next">
26    <li class="prev notimplemented">
27      <a if="spec.PreviousNotImplemented != null"
28         href="#${spec.PreviousNotImplemented.Id}" title="Go to previous not implemented specification">&uArr;</a>
29    </li>
30    <li class="next notimplemented">
31      <a if="spec.NextNotImplemented != null"
32         href="#${spec.NextNotImplemented.Id}" title="Go to next not implemented specification">&dArr;</a>
33    </li>
34  </ul>
35</div>
36
37<for each="var supplement in spec.Supplements">
38  <for each="var item in supplement.Value">
39    <if condition='item.Key.StartsWith("img-")'>
40      <var name="Guid.NewGuid()" />
41      <div>
42        [<a id="${name}_link" href="javascript:toggleVisibility('${name}', '${supplement.Key} ${item.Key}');">Show ${supplement.Key} ${item.Key}</a>]
43      </div>
44      <div id="${name}" class="supplement">
45        <a href="resources/${System.IO.Path.GetFileName(item.Value)}">
46          <img width="80%" src="resources/${System.IO.Path.GetFileName(item.Value)}" />
47        </a>
48      </div>
49    </if>
50    <if condition='item.Key.StartsWith("html-")'>
51      <var name="Guid.NewGuid()" />
52      <div>
53        [<a id="${name}_link" href="javascript:toggleVisibility('${name}', '${supplement.Key} ${item.Key}');">Show ${supplement.Key} ${item.Key}</a>]
54      </div>
55      <div id="${name}" class="supplement">
56        <iframe src="resources/${System.IO.Path.GetFileName(item.Value)}" width="100%" height="600px">
57        </iframe>
58      </div>
59    </if>
60    <if condition='item.Key.StartsWith("text-")'>
61      <var name="Guid.NewGuid()" />
62      <div>
63        [<a id="${name}_link" href="javascript:toggleVisibility('${name}', '${supplement.Key} ${item.Key}');">Show ${supplement.Key} ${item.Key}</a>]
64      </div>
65      <div id="${name}" class="supplement">
66        <pre>${item.Value}</pre>
67      </div>
68    </if>
69  </for> 
70</for>
71
72<script type="text/javascript" once="toggle-visibility">
73  function toggleVisibility(id, description)
74  {
75    var section = document.getElementById(id);
76    var link = document.getElementById(id + "_link");
77
78    if (section.style.display == "block")
79    {
80      section.style.display = "none";
81      link.innerHTML = "Show " + description;
82    } else
83    {
84      section.style.display = "block";
85      link.innerHTML = "Hide " + description;
86    }
87  };
88</script>