1 files changed, 0 insertions, 49 deletions
diff --git a/third_party/java/jopt-simple/src/site/resources/css/prettify.css b/third_party/java/jopt-simple/src/site/resources/css/prettify.css
deleted file mode 100644
index f8c7db2a96..0000000000
--- a/third_party/java/jopt-simple/src/site/resources/css/prettify.css
+++ /dev/null
@@ -1,49 +0,0 @@
-/* Pretty printing styles. Used with prettify.js. */
-
-.str { color: #080; }
-.kwd { color: #008; }
-.com { color: #800; }
-.typ { color: #606; }
-.lit { color: #066; }
-.pun { color: #660; }
-.pln { color: #000; }
-.tag { color: #008; }
-.atn { color: #606; }
-.atv { color: #080; }
-.dec { color: #606; }
-
-pre.prettyprint {
-    padding: 2px;
-    border: 1px solid #888;
-}
-
-@media print {
-    .str { color: #060; }
-
-    .kwd {
-        color: #006;
-        font-weight: bold;
-    }
-
-    .com {
-        color: #600;
-        font-style: italic;
-    }
-
-    .typ {
-        color: #404;
-        font-weight: bold;
-    }
-
-    .lit { color: #044; }
-    .pun { color: #440; }
-    .pln { color: #000; }
-
-    .tag {
-        color: #006;
-        font-weight: bold;
-    }
-
-    .atn { color: #404; }
-    .atv { color: #060; }
-}