<!doctype html>
<html>
<head>
<meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=1.0">
<style>
body{
font-family:verdana,helvetica,arial,sans-serif;
}
table{
border-collapse:collapse;
}
td,th{
border:1px solid grey;
padding:4px;
}
th{
background-color:#DFDFDF;
}
a, code{word-wrap: break-word;}
</style>
<title>Protocol for WIMS direct connection with other web servers</title>
</head>
<body>
<div id="content"></div>
<pre id="md_source">
!read protocol.md
</pre>
<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
<script>
var source = document.getElementById('md_source');
document.getElementById('content').innerHTML =
marked(source.innerHTML, {tables: true});
source.style.display="none";
</script>
</body>
</html>