Rev 23 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 23 | Rev 13229 | ||
---|---|---|---|
Line -... | Line 1... | ||
- | 1 | <!doctype html> |
|
- | 2 | <html> |
|
- | 3 | <head> |
|
- | 4 | <style> |
|
- | 5 | body{ |
|
- | 6 | font-family:verdana,helvetica,arial,sans-serif; |
|
- | 7 | } |
|
- | 8 | table{ |
|
- | 9 | border-collapse:collapse; |
|
- | 10 | } |
|
- | 11 | td,th{ |
|
- | 12 | border:1px solid grey; |
|
- | 13 | padding:4px; |
|
- | 14 | } |
|
- | 15 | th{ |
|
- | 16 | background-color:#DFDFDF; |
|
- | 17 | } |
|
- | 18 | </style> |
|
- | 19 | <title>Protocol for WIMS direct connection with other web servers</title> |
|
- | 20 | </head> |
|
- | 21 | <body> |
|
- | 22 | <div id="content"></div> |
|
- | 23 | <pre id="md_source"> |
|
1 | !read protocol. |
24 | !read protocol.md |
- | 25 | </pre> |
|
- | 26 | <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script> |
|
- | 27 | <script> |
|
- | 28 | var source = document.getElementById('md_source'); |
|
- | 29 | document.getElementById('content').innerHTML = |
|
- | 30 | marked(source.innerHTML, {tables: true}); |
|
- | 31 | source.style.display="none"; |
|
- | 32 | </script> |
|
- | 33 | </body> |
|
- | 34 | </html> |
|
- | 35 |