--- /dev/null
+function plugins ()
+{
+ document.write ("\
+<div class=\"plugins\"> \
+<p id=\"caption\">plugins available in nbdkit 1.10</p> \
+<ul> \
+<li id=\"plugin-curl\"> curl \
+<li id=\"plugin-data\"> data \
+<li id=\"plugin-ext2\"> ext2 \
+<li id=\"plugin-file\"> file \
+<li id=\"plugin-floppy\"> floppy \
+<li id=\"plugin-full\"> full \
+<li id=\"plugin-guestfs\"> guestfs \
+<li id=\"plugin-gzip\"> gzip \
+<li id=\"plugin-iso\"> iso \
+<li id=\"plugin-libvirt\"> libvirt \
+<li id=\"plugin-lua\"> lua \
+<li id=\"plugin-memory\"> memory \
+<li id=\"plugin-nbd\"> nbd \
+<li id=\"plugin-null\"> null \
+<li id=\"plugin-ocaml\"> ocaml \
+<li id=\"plugin-partitioning\"> partitioning \
+<li id=\"plugin-pattern\"> pattern \
+<li id=\"plugin-perl\"> perl \
+<li id=\"plugin-python\"> python \
+<li id=\"plugin-random\"> random \
+<li id=\"plugin-ruby\"> ruby \
+<li id=\"plugin-sh\"> sh \
+<li id=\"plugin-split\"> split \
+<li id=\"plugin-streaming\"> streaming \
+<li id=\"plugin-tar\"> tar \
+<li id=\"plugin-tcl\"> tcl \
+<li id=\"plugin-vddk\"> vddk \
+<li id=\"plugin-zero\"> zero \
+</ul> \
+</div> \
+");
+}
+
+function filters (layer)
+{
+ document.write ("\
+<div class=\"filters\"> \
+<p class=\"filtercaption\">filters available in nbdkit 1.10</p> \
+<ul> \
+<li id=\"filter" + layer + "-blocksize\"> blocksize \
+<li id=\"filter" + layer + "-cache\"> cache \
+<li id=\"filter" + layer + "-cow\"> cow \
+<li id=\"filter" + layer + "-delay\"> delay \
+<li id=\"filter" + layer + "-error\"> error \
+<li id=\"filter" + layer + "-fua\"> fua \
+<li id=\"filter" + layer + "-log\"> log \
+<li id=\"filter" + layer + "-nozero\"> nozero \
+<li id=\"filter" + layer + "-offset\"> offset \
+<li id=\"filter" + layer + "-partition\"> partition \
+<li id=\"filter" + layer + "-truncate\"> truncate \
+<li id=\"filter" + layer + "-xz\"> xz \
+</ul> \
+</div> \
+");
+}
--- /dev/null
+/* Red Hat red is rgb(204,0,0). */
+
+body {
+ background: url(redhat.png) no-repeat;
+ background-position: 98% 0;
+ /* font-size: 28pt; */ /* For max */
+ font-size: 20pt; /* For 1024x768 */
+ /* font-family: liberation, helvetica; */
+ font-family: helvetica;
+
+ /* Can be used to scale the whole document. */
+ /*transform: translate(-10%,-10%) scale(0.75,0.75);*/
+}
+
+body td, body th { /* why?? */
+ font-size: 24pt;
+ padding-bottom: 8px;
+}
+
+h1 {
+ color: rgb(204,0,0);
+ /*font-size: 48px;*/
+ font-size: 40px;
+ top: 8;
+ left: 0;
+ border-bottom: 2px solid rgb(204,0,0);
+}
+
+h2 {
+ color: rgb(204,0,0);
+ font-size: 32px;
+ font-style: italic;
+ border-bottom: 2px solid rgb(204,0,0);
+}
+
+b {
+ color: rgb(204,0,0);
+}
+
+/* Title page. */
+div#titlepage {
+ margin-top: 100px;
+ width: 80%;
+ margin-left: 10%;
+}
+
+div#titlepage p.title {
+ color: rgb(204,0,0);
+ font-weight: bold;
+ font-size: 48px;
+ text-align: left;
+}
+
+div#titlepage p.author {
+ font-size: 36px;
+ text-align: left;
+}
+
+div#titlepage p.abstract {
+ font-size: 28px;
+ text-align: left;
+}
+
+/* Code */
+pre.code {
+ margin-left: 1em;
+ background: #eee;
+}
+
+code {
+ color: rgb(204,0,0);
+}
+
+/* Bullet points */
+li {
+ padding-bottom: 16px;
+}
+
+/* Plugins box. */
+div.plugins {
+ background: #f8f8ff;
+ border: 1px solid rgb(204,0,0);
+ border-radius: 15px;
+ margin-left: auto;
+ margin-right: auto;
+ width: 800px;
+ height: 400px;
+ /* Position relative is needed so that items may be
+ positioned inside. */
+ position: relative;
+}
+
+div.plugins p#caption {
+ position: absolute;
+ bottom: -5px; right: 5px;
+ color: rgb(204,0,0);
+ text-align: right;
+ font-size: 16px;
+ font-weight: bold;
+}
+
+div.plugins ul {
+ position: absolute;
+ top: 10%;
+ width: 700px;
+ height: 380px;
+ column-count: 4;
+ list-style-type: none;
+ margin: 0;
+}
+
+div.plugins ul li {
+ padding: 0px;
+ margin: 5px;
+}
+
+div.plugins ul li.highlighted {
+ border: 1px solid rgb(204,0,0);
+ background: #fff;
+ padding-left: 10px;
+ color: rgb(204,0,0);
+ border-radius: 20px;
+ font-weight: bold;
+}
+
+/* Filters box. */
+div.filters {
+ background: #f8fff8;
+ border: 1px solid rgb(204,0,0);
+ border-radius: 15px;
+ margin-left: auto;
+ margin-right: auto;
+ width: 800px;
+ height: 200px;
+ /* Position relative is needed so that items may be
+ positioned inside. */
+ position: relative;
+}
+
+div.filters p.filtercaption {
+ position: absolute;
+ bottom: -5px; right: 5px;
+ color: rgb(204,0,0);
+ text-align: right;
+ font-size: 16px;
+ font-weight: bold;
+}
+
+div.filters ul {
+ position: absolute;
+ top: 10%;
+ width: 700px;
+ height: 180px;
+ column-count: 4;
+ list-style-type: none;
+ margin: 0;
+}
+
+div.filters ul li {
+ padding: 0px;
+ margin: 5px;
+}
+
+div.filters ul li.highlighted {
+ border: 1px solid rgb(204,0,0);
+ background: #fff;
+ padding-left: 10px;
+ color: rgb(204,0,0);
+ border-radius: 20px;
+ font-weight: bold;
+}
+
+/* For images which must be centered on the page. */
+div.allcenter {
+ display: flex;
+ justify-content: center;
+ align-items: center;
+ height: 50vw;
+}
+
+div.all-center img {
+}
+
+/* Outlined text. */
+.outline {
+ text-shadow: 2px 2px 0 rgb(204,0,0),
+ -2px 2px 0 rgb(204,0,0),
+ 2px -2px 0 rgb(204,0,0),
+ -2px -2px 0 rgb(204,0,0),
+ 0px 2px 0 rgb(204,0,0),
+ 0px -2px 0 rgb(204,0,0),
+ -2px 0px 0 rgb(204,0,0),
+ 2px 0px 0 rgb(204,0,0),
+ 4px 4px 0 rgb(204,0,0),
+ -4px 4px 0 rgb(204,0,0),
+ 4px -4px 0 rgb(204,0,0),
+ -4px -4px 0 rgb(204,0,0),
+
+ 0px 4px 0 rgb(204,0,0),
+ 0px -4px 0 rgb(204,0,0),
+ -4px 0px 0 rgb(204,0,0),
+ 4px 0px 0 rgb(204,0,0),
+ 2px 4px 0 rgb(204,0,0),
+ -2px 4px 0 rgb(204,0,0),
+ 2px -4px 0 rgb(204,0,0),
+ -2px -4px 0 rgb(204,0,0),
+ 4px 2px 0 rgb(204,0,0),
+ -4px 2px 0 rgb(204,0,0),
+ 4px -2px 0 rgb(204,0,0),
+ -4px -2px 0 rgb(204,0,0),
+
+ 4px 4px 0 rgb(255,128,128),
+ -4px 4px 0 rgb(255,128,128),
+ 4px -4px 0 rgb(255,128,128),
+ -4px -4px 0 rgb(255,128,128),
+ 0px 4px 0 rgb(255,128,128),
+ 0px -4px 0 rgb(255,128,128),
+ -4px 0px 0 rgb(255,128,128),
+ 4px 0px 0 rgb(255,128,128),
+ 8px 8px 0 rgb(255,128,128),
+ -8px 8px 0 rgb(255,128,128),
+ 8px -8px 0 rgb(255,128,128),
+ -8px -8px 0 rgb(255,128,128),
+
+ 0px 8px 0 rgb(255,128,128),
+ 0px -8px 0 rgb(255,128,128),
+ -8px 0px 0 rgb(255,128,128),
+ 8px 0px 0 rgb(255,128,128),
+ 4px 8px 0 rgb(255,128,128),
+ -4px 8px 0 rgb(255,128,128),
+ 4px -8px 0 rgb(255,128,128),
+ -4px -8px 0 rgb(255,128,128),
+ 8px 4px 0 rgb(255,128,128),
+ -8px 4px 0 rgb(255,128,128),
+ 8px -4px 0 rgb(255,128,128),
+ -8px -4px 0 rgb(255,128,128);
+}
+
+/* Warning symbol. */
+span.warning {
+ background-color: yellow;
+ font-weight: bold;
+}