From 5827f1525d1ebf5d0af0a97fcc693e059cb8222f Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sat, 16 Sep 2017 22:57:52 +0100
Subject: [PATCH] .

---
 Technology | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/Technology b/Technology
index 7441665..0517262 100644
--- a/Technology
+++ b/Technology
@@ -94,16 +94,15 @@ immensly.
 As example, the lines of code of the [Bitcoin Piñata](/Projects/Pinata) compared
 to a Linux and OpenSSL based one:
 
-   | Linux | MirageOS
--- | -- | --
-Kernel | 1600 | 48
-Runtime | 689 | 25
-Crypto | 230 | 23
-TLS | 41 | 6
--- | -- | --
-Total | 2560 | 102
+<table border=0>
+<tr><th></th><th>Linux</th><th>MirageOS</th></tr>
+<tr><td>Kernel</td><td>1600</td><td>48</td></tr>
+<tr><td>Runtime</td><td>689</td><td>25</td></tr>
+<tr><td>Crypto</td><td>230</td><td>23</td></tr>
+<tr><td>TLS</td><td>41</td><td>6</td></tr>
+<tr><td>Total</td><td>2560</td><td>102</td></tr>
+</table>
 
-TODO: Example: lines of code / binary size fuer zb dns server / dhcp server
 
 The choice of programming language avoids several attack vectors. Immutable data
 structures, type checking and the OCaml runtime memory manager ensure memory