| 1234567891011121314151617181920212223242526272829 |
- #!/bin/bash
- # needs to be run in the directory the html snippets are in
- [[ "$1" == "-f"* ]] && cat <<EOF || echo "<style>"
- <html><head><meta http-equiv="content-type" content="text/html">
- <style type="text/css" media="screen">
- body { margin: 5% 20%; }
- EOF
- cat <<EOF
- .author, pre, .block { font-family: monospace; }
- .block { display: inline-block; font-size: 13px; font-weight: bold; padding: 10px 13px; margin: 0 3px 6px 0; }
- pre {
- font-size: 14px;
- padding: 8px 16px;
- border-width:0
- }
- .previewbox { display: inline-block; width: 49%; margin:0; padding:1px; border-width:1px }
- </style>
- EOF
- [[ "$1" == "-f"* ]] && echo "<body>"
- echo "<div id=toc><ul>"
- cat *.listitem
- echo "</ul></div>"
- cat *.html
- [[ "$1" == "-f"* ]] && echo "</body></html>"
- exit 0
|
