1group presidents;
2
3header() ::= <<
4<html>
5  <head>
6    <style type='text/css'>
7		  th {font-family: arial; font-size: 10pt; background: #efefef; text-align: left;}
8		  .name {width:1.5in;}
9		  .desc {width:3.5in; text-align: justify;}
10		  img   {margin-right: 12pt;}
11		  td    {vertical-align:top; padding: 2pt; padding-top: 6pt; border-bottom: 1px solid #626262;}
12		</style>
13	</head>
14<table cellspacing='0'>
15	<thead>
16	  <th>Picture</th>
17	  <th>Name</th>
18	  <th>From</th>
19	  <th>To</th>
20	  <th>Summary</th>
21	</thead>
22>>
23
24line(president,thumbnail) ::= <<
25		<tr>
26			<td><img src='data:image/jpeg;base64,$thumbnail$'/></td>
27			<td class='name'>$president.name$</td>
28			<td class='from'>$president.officeStart$</td>
29			<td class='to'>$president.officeEnd$</td>
30			<td class='desc'>$president.summary$</td>
31		</tr>
32>>
33
34footer(timeByte1, timeRow1, timeClose) ::= <<
35	</table>
36	<pre>
37Time till byte 1 = $timeByte1$ ns.
38Time till row 1  = $timeRow1$ ns.
39Time till close  = $timeClose$ ns.
40	</pre>
41</html>
42>>