Merge static web directories

server/server.py

@@ -142,6 +142,7 @@ class HTTPRequestHandler(object):
     '.iso': 'application/octet-stream',
     '.js': 'application/javascript',
     '.json': 'application/json',
+    '.woff': 'application/font-woff',
   }
   _BLOCK_SIZE = 2 ** 16
 

server/static/systemid.html

@@ -6,7 +6,7 @@
     <style>
 @font-face {
   font-family: 'code-39';
-  src: url('code-39.woff') format('woff');
+  src: url('/static/code-39.woff') format('woff');
   font-weight: normal;
   font-style: normal;
 }