2 files changed, 0 insertions, 50 deletions
diff --git a/doc/tutorial/web/default.css b/doc/tutorial/web/default.css
deleted file mode 100644
index aff4f66f386..00000000000
--- a/doc/tutorial/web/default.css
+++ /dev/null
@@ -1,19 +0,0 @@
-.cm-s-default span.cm-keyword {color: #708;}
-.cm-s-default span.cm-atom {color: #219;}
-.cm-s-default span.cm-number {color: #164;}
-.cm-s-default span.cm-def {color: #00f;}
-.cm-s-default span.cm-variable {color: black;}
-.cm-s-default span.cm-variable-2 {color: #05a;}
-.cm-s-default span.cm-variable-3 {color: #085;}
-.cm-s-default span.cm-property {color: black;}
-.cm-s-default span.cm-operator {color: black;}
-.cm-s-default span.cm-comment {color: #a50;}
-.cm-s-default span.cm-string {color: #a11;}
-.cm-s-default span.cm-string-2 {color: #f50;}
-.cm-s-default span.cm-meta {color: #555;}
-.cm-s-default span.cm-error {color: #f00;}
-.cm-s-default span.cm-qualifier {color: #555;}
-.cm-s-default span.cm-builtin {color: #30a;}
-.cm-s-default span.cm-bracket {color: #cc7;}
-.cm-s-default span.cm-tag {color: #170;}
-.cm-s-default span.cm-attribute {color: #00c;}
diff --git a/doc/tutorial/web/style.css b/doc/tutorial/web/style.css
deleted file mode 100644
index 01f8523819d..00000000000
--- a/doc/tutorial/web/style.css
+++ /dev/null
@@ -1,31 +0,0 @@
-body {
-  padding: 1em;
-  margin: 0;
-  font-family: "Helvetica Neue", Helvetica, sans-serif;
-}
-
-#content {
-  padding: 1em 6em;
-  max-width: 50em;
-}
-
-h1 { font-size: 22pt; }
-h2 { font-size: 17pt; }
-h3 { font-size: 14pt; }
-
-pre {
-  margin: 1.1em 0;
-  padding: .4em .4em .4em 1em;
-  font-size: 120%;
-}
-
-p.head {
-  font-size: 80%;
-  font-style: italic;
-  text-align: right;
-}
-
-a, a:visited, a:link {
-  text-decoration: none;
-  color: #00438a;
-}