1 files changed, 0 insertions, 31 deletions
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;
-}