Merge branch '4.0/remove-doc-css' into 4.0.8-relengrt-4.0.8rc2

1 files changed, 0 insertions, 14 deletions

diff --git a/share/html/Documentation/rt-docs.css b/share/html/Documentation/rt-docs.css
deleted file mode 100644
index 72548d562d..0000000000
--- a/share/html/Documentation/rt-docs.css
+++ /dev/null
@@ -1,14 +0,0 @@
-body {
-    font-family: Verdana, Arial, Helvetica, sans-serif;
-    font-size: 76%;
-    margin: 10px;
-}
-dt{
-  border-bottom: 1px solid black;
-  font-size: 150%;
-}
-
-a {
-  color:#0065ce;
-  display: block;
-}