Move Apache theme to pkgs

71 files changed, 0 insertions, 203 deletions

diff --git a/nixops/modules/websites/apache/theme/.htaccess b/nixops/modules/websites/apache/theme/.htaccess
deleted file mode 100644
index f9e5472..0000000
--- a/nixops/modules/websites/apache/theme/.htaccess
+++ /dev/null
@@ -1,9 +0,0 @@
-#
-#       Apaxy by @adamwhitcroft
-#
-#       For a full breakdown of the mod_autoindex module
-#       http://apache.org/docs/2.2/mod/mod_autoindex.html
-#
-
-#       Don't index this folder
-Options -Indexes
diff --git a/nixops/modules/websites/apache/theme/footer.html b/nixops/modules/websites/apache/theme/footer.html
deleted file mode 100644
index 57a2012..0000000
--- a/nixops/modules/websites/apache/theme/footer.html
+++ /dev/null
@@ -1,31 +0,0 @@
-</div><!--/.wrapper-->
-
-<script type="text/javascript">
-// grab the 2nd child and add the parent class. tr:nth-child(2)
-document.getElementsByTagName('tr')[1].className = 'parent';
-// fix links when not adding a / at the end of the URI
-var uri = window.location.pathname.substr(1);
-if (uri.length > 0 && uri.substring(uri.length-1) != '/'){
-        var indexes = document.getElementsByClassName('indexcolname'),
-        i = indexes.length;
-        while (i--){
-            var a = indexes[i].getElementsByTagName('a')[0];
-            a.href = '/' + uri + '/' + a.getAttribute('href',2);
-        }
-}
-
-function getAjax(url, success) {
-  var xhr = window.XMLHttpRequest ? new XMLHttpRequest() : new ActiveXObject('Microsoft.XMLHTTP');
-  xhr.open('GET', url);
-  xhr.onreadystatechange = function() {
-    if (xhr.readyState>3 && xhr.status==200)
-      success(xhr.responseText);
-  };
-  xhr.setRequestHeader('X-Requested-With', 'XMLHttpRequest');
-  xhr.send();
-  return xhr;
-}
-getAjax("title", function(data) {
-  document.getElementById('pagetitle').innerHTML = data;
-});
-</script>
diff --git a/nixops/modules/websites/apache/theme/header.html b/nixops/modules/websites/apache/theme/header.html
deleted file mode 100644
index cbded6a..0000000
--- a/nixops/modules/websites/apache/theme/header.html
+++ /dev/null
@@ -1,3 +0,0 @@
-<div class="wrapper">
-  <h1 id="pagetitle"></h1>
-<!-- we open the `wrapper` element here, but close it in the `footer.html` file -->
diff --git a/nixops/modules/websites/apache/theme/icons/archive.png b/nixops/modules/websites/apache/theme/icons/archive.png
deleted file mode 100644
index 99ae6fc..0000000
--- a/nixops/modules/websites/apache/theme/icons/archive.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/audio.png b/nixops/modules/websites/apache/theme/icons/audio.png
deleted file mode 100644
index a67618d..0000000
--- a/nixops/modules/websites/apache/theme/icons/audio.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/authors.png b/nixops/modules/websites/apache/theme/icons/authors.png
deleted file mode 100644
index 78bf784..0000000
--- a/nixops/modules/websites/apache/theme/icons/authors.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/bin.png b/nixops/modules/websites/apache/theme/icons/bin.png
deleted file mode 100644
index ec2220b..0000000
--- a/nixops/modules/websites/apache/theme/icons/bin.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/blank.png b/nixops/modules/websites/apache/theme/icons/blank.png
deleted file mode 100644
index bef1f60..0000000
--- a/nixops/modules/websites/apache/theme/icons/blank.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/bmp.png b/nixops/modules/websites/apache/theme/icons/bmp.png
deleted file mode 100644
index c6f3044..0000000
--- a/nixops/modules/websites/apache/theme/icons/bmp.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/c.png b/nixops/modules/websites/apache/theme/icons/c.png
deleted file mode 100644
index 12adaa3..0000000
--- a/nixops/modules/websites/apache/theme/icons/c.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/calc.png b/nixops/modules/websites/apache/theme/icons/calc.png
deleted file mode 100644
index a034367..0000000
--- a/nixops/modules/websites/apache/theme/icons/calc.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/cd.png b/nixops/modules/websites/apache/theme/icons/cd.png
deleted file mode 100644
index 3a3ffbb..0000000
--- a/nixops/modules/websites/apache/theme/icons/cd.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/copying.png b/nixops/modules/websites/apache/theme/icons/copying.png
deleted file mode 100644
index 83fa06e..0000000
--- a/nixops/modules/websites/apache/theme/icons/copying.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/cpp.png b/nixops/modules/websites/apache/theme/icons/cpp.png
deleted file mode 100644
index 47e8b1e..0000000
--- a/nixops/modules/websites/apache/theme/icons/cpp.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/css.png b/nixops/modules/websites/apache/theme/icons/css.png
deleted file mode 100644
index 15f7695..0000000
--- a/nixops/modules/websites/apache/theme/icons/css.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/deb.png b/nixops/modules/websites/apache/theme/icons/deb.png
deleted file mode 100644
index 1b12d29..0000000
--- a/nixops/modules/websites/apache/theme/icons/deb.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/default.png b/nixops/modules/websites/apache/theme/icons/default.png
deleted file mode 100644
index 6997229..0000000
--- a/nixops/modules/websites/apache/theme/icons/default.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/diff.png b/nixops/modules/websites/apache/theme/icons/diff.png
deleted file mode 100644
index 5bef920..0000000
--- a/nixops/modules/websites/apache/theme/icons/diff.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/doc.png b/nixops/modules/websites/apache/theme/icons/doc.png
deleted file mode 100644
index 5732f9b..0000000
--- a/nixops/modules/websites/apache/theme/icons/doc.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/draw.png b/nixops/modules/websites/apache/theme/icons/draw.png
deleted file mode 100644
index 8f1da5c..0000000
--- a/nixops/modules/websites/apache/theme/icons/draw.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/eps.png b/nixops/modules/websites/apache/theme/icons/eps.png
deleted file mode 100644
index 93736bb..0000000
--- a/nixops/modules/websites/apache/theme/icons/eps.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/exe.png b/nixops/modules/websites/apache/theme/icons/exe.png
deleted file mode 100644
index 31299b7..0000000
--- a/nixops/modules/websites/apache/theme/icons/exe.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/folder-home.png b/nixops/modules/websites/apache/theme/icons/folder-home.png
deleted file mode 100644
index 14fe20a..0000000
--- a/nixops/modules/websites/apache/theme/icons/folder-home.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/folder-open.png b/nixops/modules/websites/apache/theme/icons/folder-open.png
deleted file mode 100644
index 2aa5cc7..0000000
--- a/nixops/modules/websites/apache/theme/icons/folder-open.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/folder-page.png b/nixops/modules/websites/apache/theme/icons/folder-page.png
deleted file mode 100644
index 604f9ad..0000000
--- a/nixops/modules/websites/apache/theme/icons/folder-page.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/folder-parent-old.png b/nixops/modules/websites/apache/theme/icons/folder-parent-old.png
deleted file mode 100644
index b82d7a9..0000000
--- a/nixops/modules/websites/apache/theme/icons/folder-parent-old.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/folder-parent.png b/nixops/modules/websites/apache/theme/icons/folder-parent.png
deleted file mode 100644
index 3c964f1..0000000
--- a/nixops/modules/websites/apache/theme/icons/folder-parent.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/folder.png b/nixops/modules/websites/apache/theme/icons/folder.png
deleted file mode 100644
index 7c613e0..0000000
--- a/nixops/modules/websites/apache/theme/icons/folder.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/gif.png b/nixops/modules/websites/apache/theme/icons/gif.png
deleted file mode 100644
index 01a2f2a..0000000
--- a/nixops/modules/websites/apache/theme/icons/gif.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/gzip.png b/nixops/modules/websites/apache/theme/icons/gzip.png
deleted file mode 100644
index 99ae6fc..0000000
--- a/nixops/modules/websites/apache/theme/icons/gzip.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/h.png b/nixops/modules/websites/apache/theme/icons/h.png
deleted file mode 100644
index d3c7a9c..0000000
--- a/nixops/modules/websites/apache/theme/icons/h.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/hpp.png b/nixops/modules/websites/apache/theme/icons/hpp.png
deleted file mode 100644
index e5e52e2..0000000
--- a/nixops/modules/websites/apache/theme/icons/hpp.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/html.png b/nixops/modules/websites/apache/theme/icons/html.png
deleted file mode 100644
index 2f94a78..0000000
--- a/nixops/modules/websites/apache/theme/icons/html.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/ico.png b/nixops/modules/websites/apache/theme/icons/ico.png
deleted file mode 100644
index 82227e8..0000000
--- a/nixops/modules/websites/apache/theme/icons/ico.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/image.png b/nixops/modules/websites/apache/theme/icons/image.png
deleted file mode 100644
index add1c59..0000000
--- a/nixops/modules/websites/apache/theme/icons/image.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/install.png b/nixops/modules/websites/apache/theme/icons/install.png
deleted file mode 100644
index 0a9c036..0000000
--- a/nixops/modules/websites/apache/theme/icons/install.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/java.png b/nixops/modules/websites/apache/theme/icons/java.png
deleted file mode 100644
index 63b8683..0000000
--- a/nixops/modules/websites/apache/theme/icons/java.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/jpg.png b/nixops/modules/websites/apache/theme/icons/jpg.png
deleted file mode 100644
index a50c99b..0000000
--- a/nixops/modules/websites/apache/theme/icons/jpg.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/js.png b/nixops/modules/websites/apache/theme/icons/js.png
deleted file mode 100644
index af1a475..0000000
--- a/nixops/modules/websites/apache/theme/icons/js.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/json.png b/nixops/modules/websites/apache/theme/icons/json.png
deleted file mode 100644
index af1a475..0000000
--- a/nixops/modules/websites/apache/theme/icons/json.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/log.png b/nixops/modules/websites/apache/theme/icons/log.png
deleted file mode 100644
index 02f1b9a..0000000
--- a/nixops/modules/websites/apache/theme/icons/log.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/makefile.png b/nixops/modules/websites/apache/theme/icons/makefile.png
deleted file mode 100644
index f99ea4c..0000000
--- a/nixops/modules/websites/apache/theme/icons/makefile.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/markdown.png b/nixops/modules/websites/apache/theme/icons/markdown.png
deleted file mode 100644
index 25c8373..0000000
--- a/nixops/modules/websites/apache/theme/icons/markdown.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/package.png b/nixops/modules/websites/apache/theme/icons/package.png
deleted file mode 100644
index fb1343e..0000000
--- a/nixops/modules/websites/apache/theme/icons/package.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/pdf.png b/nixops/modules/websites/apache/theme/icons/pdf.png
deleted file mode 100644
index 7408d8d..0000000
--- a/nixops/modules/websites/apache/theme/icons/pdf.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/php.png b/nixops/modules/websites/apache/theme/icons/php.png
deleted file mode 100644
index 22c4df6..0000000
--- a/nixops/modules/websites/apache/theme/icons/php.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/playlist.png b/nixops/modules/websites/apache/theme/icons/playlist.png
deleted file mode 100644
index 8d6f281..0000000
--- a/nixops/modules/websites/apache/theme/icons/playlist.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/png.png b/nixops/modules/websites/apache/theme/icons/png.png
deleted file mode 100644
index 1fe1ec4..0000000
--- a/nixops/modules/websites/apache/theme/icons/png.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/pres.png b/nixops/modules/websites/apache/theme/icons/pres.png
deleted file mode 100644
index db195e9..0000000
--- a/nixops/modules/websites/apache/theme/icons/pres.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/ps.png b/nixops/modules/websites/apache/theme/icons/ps.png
deleted file mode 100644
index 05f3ed9..0000000
--- a/nixops/modules/websites/apache/theme/icons/ps.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/psd.png b/nixops/modules/websites/apache/theme/icons/psd.png
deleted file mode 100644
index 62718ee..0000000
--- a/nixops/modules/websites/apache/theme/icons/psd.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/py.png b/nixops/modules/websites/apache/theme/icons/py.png
deleted file mode 100644
index 0aaffd1..0000000
--- a/nixops/modules/websites/apache/theme/icons/py.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/rar.png b/nixops/modules/websites/apache/theme/icons/rar.png
deleted file mode 100644
index 8a0ff54..0000000
--- a/nixops/modules/websites/apache/theme/icons/rar.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/rb.png b/nixops/modules/websites/apache/theme/icons/rb.png
deleted file mode 100644
index c7db42f..0000000
--- a/nixops/modules/websites/apache/theme/icons/rb.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/readme.png b/nixops/modules/websites/apache/theme/icons/readme.png
deleted file mode 100644
index 3ae48cd..0000000
--- a/nixops/modules/websites/apache/theme/icons/readme.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/rpm.png b/nixops/modules/websites/apache/theme/icons/rpm.png
deleted file mode 100644
index 64699ac..0000000
--- a/nixops/modules/websites/apache/theme/icons/rpm.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/rss.png b/nixops/modules/websites/apache/theme/icons/rss.png
deleted file mode 100644
index a1130a1..0000000
--- a/nixops/modules/websites/apache/theme/icons/rss.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/rtf.png b/nixops/modules/websites/apache/theme/icons/rtf.png
deleted file mode 100644
index 25c8373..0000000
--- a/nixops/modules/websites/apache/theme/icons/rtf.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/script.png b/nixops/modules/websites/apache/theme/icons/script.png
deleted file mode 100644
index 1099b5f..0000000
--- a/nixops/modules/websites/apache/theme/icons/script.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/source.png b/nixops/modules/websites/apache/theme/icons/source.png
deleted file mode 100644
index 5bef920..0000000
--- a/nixops/modules/websites/apache/theme/icons/source.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/sql.png b/nixops/modules/websites/apache/theme/icons/sql.png
deleted file mode 100644
index b3b1467..0000000
--- a/nixops/modules/websites/apache/theme/icons/sql.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/tar.png b/nixops/modules/websites/apache/theme/icons/tar.png
deleted file mode 100644
index bab3b6a..0000000
--- a/nixops/modules/websites/apache/theme/icons/tar.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/tex.png b/nixops/modules/websites/apache/theme/icons/tex.png
deleted file mode 100644
index 1487b25..0000000
--- a/nixops/modules/websites/apache/theme/icons/tex.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/text.png b/nixops/modules/websites/apache/theme/icons/text.png
deleted file mode 100644
index 1d48677..0000000
--- a/nixops/modules/websites/apache/theme/icons/text.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/tiff.png b/nixops/modules/websites/apache/theme/icons/tiff.png
deleted file mode 100644
index 819e64c..0000000
--- a/nixops/modules/websites/apache/theme/icons/tiff.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/unknown.png b/nixops/modules/websites/apache/theme/icons/unknown.png
deleted file mode 100644
index b1dcc3f..0000000
--- a/nixops/modules/websites/apache/theme/icons/unknown.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/vcal.png b/nixops/modules/websites/apache/theme/icons/vcal.png
deleted file mode 100644
index 3d81455..0000000
--- a/nixops/modules/websites/apache/theme/icons/vcal.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/video.png b/nixops/modules/websites/apache/theme/icons/video.png
deleted file mode 100644
index f92f7e1..0000000
--- a/nixops/modules/websites/apache/theme/icons/video.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/xml.png b/nixops/modules/websites/apache/theme/icons/xml.png
deleted file mode 100644
index 83a83df..0000000
--- a/nixops/modules/websites/apache/theme/icons/xml.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/icons/zip.png b/nixops/modules/websites/apache/theme/icons/zip.png
deleted file mode 100644
index cc196c1..0000000
--- a/nixops/modules/websites/apache/theme/icons/zip.png
+++ /dev/null
diff --git a/nixops/modules/websites/apache/theme/style.css b/nixops/modules/websites/apache/theme/style.css
deleted file mode 100644
index 4d25c9f..0000000
--- a/nixops/modules/websites/apache/theme/style.css
+++ /dev/null
@@ -1,160 +0,0 @@
-/*------------------------------------*\
-    Apaxy
-    by @adamwhitcroft
-
-    Theme name: Apaxy
-    Theme author: @adamwhitcroft
-\*------------------------------------*/
-@import url('//fonts.googleapis.com/css?family=Open+Sans');
-/* Have to use @import for the font, as you can only specify a single stylesheet */
-* {
-        margin:0;
-        padding:0;
-        -webkit-box-sizing:border-box;
-           -moz-box-sizing:border-box;
-               box-sizing: border-box; 
-}
-
-html {
-        min-height:100%;
-        border-top:10px solid #ECEEF1;
-        border-bottom:10px solid #ECEEF1;
-        color:#61666c;
-        font-weight:400;
-        font-size:1em;
-        font-family:'Open Sans', sans-serif;
-        line-height:2em;
-}
-body {
-        padding:20px;
-        -webkit-backface-visibility:hidden;
-}
-code {
-        font-family:consolas,monospace; 
-}
-a {
-        color:#61666c;
-        text-decoration:none;
-}
-a, img {
-        border:none;
-        outline:none
-}
-a:hover {
-        color:#2a2a2a;
-}
-/*------------------------------------*\
-    Wrapper
-\*------------------------------------*/
-.wrapper {
-        margin:0 auto;
-        padding-top:20px;
-        max-width:80%;
-}
-/*------------------------------------*\
-    Demo block
-\*------------------------------------*/
-.block {
-        font-size:.875em;
-        margin:20px 0;
-        padding:20px;
-        color:#9099A3;
-}
-/*------------------------------------*\
-    Table (directory listing)
-\*------------------------------------*/
-table {
-        width:100%;
-        border-collapse:collapse;
-        font-size:.875em;
-}
-tr {
-        outline:0;
-        border:0;
-}
-tr:hover td {
-        background:#f6f6f6;
-}
-th {
-        text-align:left;
-        font-size:.75em;
-        padding-right:20px;
-}
-/* 2nd Column: Filename */
-th + th {
-        width:65%;
-}
-/* 3rd Column: Last Modified */
-th + th + th {
-}
-/* 4th Column: Size */
-th + th + th + th {
-        width:5%;
-}
-tr td:first-of-type {
-        padding-left:10px;
-        padding-right:10px;
-}
-td {
-        padding:5px 0;
-        outline:0;
-        border:0;
-        border-bottom:1px solid #edf1f5;
-        vertical-align:middle;
-        text-align:left;
-        -webkit-transition:background 300ms ease;
-           -moz-transition:background 300ms ease;
-            -ms-transition:background 300ms ease;
-             -o-transition:background 300ms ease;
-                transition:background 300ms ease;
-}
-td a{
-        display: block;
-}
-tr.parent a[href^="/"] {
-        color:#9099A3;
-}
-        .parent a[href^="/"]:hover {
-                color:#2281d0;
-        }
-/*------------------------------------*\
-    Footer
-\*------------------------------------*/
-.footer {
-        text-align:center;
-        font-size:.75em;
-}
-
-h1#pagetitle {
-  text-align: center;
-}
-tr.parent a[href="/"]{
-  display: none;
-}
-
-tr.indexhead {
-  visibility: hidden;
-}
-
-th.indexcollastmod, td.indexcollastmod, th.indexcolsize, td.indexcolsize {
-  visibility: hidden;
-}
-
-.instructions a {
-  text-decoration: underline;
-}
-
-.instructions h2 {
-  margin-top: 10px;
-}
-.instructions em.important:before {
-  content: "⚠ Important ⚠ ";
-  color: red;
-}
-.instructions pre {
-  width: 50em;
-  padding: 10px 15px;
-  display: table;
-  border: 1px inset black;
-  line-height: 1em;
-}