1 files changed, 0 insertions, 190 deletions
diff --git a/web/skribilo.css b/web/skribilo.css
deleted file mode 100644
index b918d4e..0000000
--- a/web/skribilo.css
+++ /dev/null
@@ -1,190 +0,0 @@
-/* http://www.impallari.com/lobster/  */
-@font-face {
-  font-family: 'Lobster';
-  font-style: normal;
-  font-weight: normal;
-  src: local('Lobster'), url('doc/lobster-1.4.otf') format('opentype');
-}
-
-/* http://www.theleagueofmoveabletype.com/junction */
-@font-face {
-  font-family: 'Junction';
-  src: local('Junction'), url('doc/junction.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-
-pre { font-family: monospace; text-align: left; }
-tt { font-family: monospace }
-code { font-family: monospace }
-body { margin: 1em 1.5em 1.5em 1.5em; background: #ffffff; }
-p { text-align: justify; }
-p.flushright { text-align: right }
-p.flushleft { text-align: left }
-span.sc { font-variant: small-caps }
-span.sf { font-family: sans-serif }
-li { margin: 1%; text-align: justify; }
-
-body.document {
-  font-family: Lobster, sans-serif;
-  font-weight: bolder;
-}
-
-body.chapter {       /* chapter title when `:file #t' */
-  font-family: sans-serif;
-  font-weight: bolder;
-}
-body.section {       /* section title when `:file #t' */
-  font-family: sans-serif;
-  font-weight: bolder;
-}
-
-
-div.skribilo-title {
-  font-size: x-large;
-  text-align: right;
-  background: #ee7777; /* #dddde0; */
-  border-top-color: black;
-  border-top-style: none;
-  margin: 10px;
-  padding: 10px;
-  border-radius: 10px;
-}
-
-.skribilo-body {
-  font-family: Junction, sans-serif;
-  font-weight: normal;
-  text-align: left;
-  line-height: 1.6;
-  background: #ffffff;
-  padding: 0 5% 0 5%
-}
-
-.skribilo-ending {
-  /* The Skribilo advertising message.  */
-  font-family: sans-serif;
-  font-weight: normal;
-  font-size: small;
-  text-align: right;
-  color: #999;
-  border-top-style: dashed;
-  border-top-width: 1px;
-  border-top-color: #aaa;
-  margin: 20px 0 0 0;
-}
-
-.chapter {  /* chapter title when `:file' is #f */
-  font-family: sans-serif;
-  font-weight: bolder;
-  font-size: x-large;
-  text-align: right;
-  background: #eeeeee;
-}
-
-.section-title {
-  background: #eeeef0;
-  font-family: sans-serif;
-  text-align: right;
-}
-
-.subsection-title { font-family: sans-serif; }
-
-.code-excerpt {
-  background: #eeeef0;
-  font-family: fixed-width, Courier;
-  text-align: left;
-  margin: 20px;
-  padding: 10px 25px 10px 25px;
-  border-width: 0px;
-  align: center;
-}
-
-/* Links.  */
-
-a { text-decoration: none; border: 0 0 0 0; border-style: none; }
-a:link { color: #333344; }
-a:hover { background: #ee7777; color: #333344; }
-a:visited { color: #443333; }
-
-
-/* Navigation tabs.  */
-
-a.inactive { padding: 0px 10px 0px 10px; }
-
-div.navtabs-title {
-  padding: 0 0 0 0;
-  margin: 0 0 0 0;
-  border: 0 0 0 0;
-  text-align: right;
-}
-div.navtabs-bar {
-  margin: 0 10px 0 10px;
-  border: 0 0 0 0;
-  text-align: right;
-  border-top-color: black;
-  border-top-style: solid;
-  border-top-width: 1px;
-  padding: 0 0 0 20%;
-  margin-bottom: 5%;
-  background: white;
-}
-div.navtabs-tabs {
-  color: black;
-  border-width: 0;
-  border-color: black;
-  border-style: dotted;
-  padding: 0px 10px 0px 10px;
-  margin: 0px 10px 0px 10px;
-  text-decoration: none;
-  background: white;
-  font-family: sans-serif;
-}
-
-
-/* Margins */
-
-table.left-margin-menu {
-  border-radius: 10pt;
-  -moz-border-radius: 10pt;
-  background: #eee;
-  margin: 10px;
-}
-
-
-td.skribilo-left-margin {
-  border-width: 0;
-  padding: 0 10px 0 10px;
-  height: 100%;
-  background: #ffffff;
-  font-family: sans-serif, Helvetica, Arial;
-  font-size: small;
-}
-
-div.skribilo-left-margin {
-  position: fixed;
-  /* width: 10%; */
-}
-
-table.skribilo-margins {
-  border-width: 1px 0 0 0;
-  border-style: solid;
-  border-color: black;
-  margin: 0px;
-  height: 100%;
-}
-
-div.skribilo-right-margin {
-  border-width: 0 0 0 1px;
-  border-left-style: solid;
-  border-left-color: black;
-  margin: 0;
-  height: 100%;
-}
-table.skribilo-margins td.skribilo-right-margin {
-  border-bottom-width: 1px;
-  border-bottom-style: solid;
-  border-bottom-color: black;
-}
-
-/* arch-tag: 96319a9d-c819-48dd-b7c9-dd3a64a21dde
- */