Index: third_party/docbook-xsl-1.78.0/html/docbook.css.xml |
diff --git a/third_party/docbook-xsl-1.78.0/html/docbook.css.xml b/third_party/docbook-xsl-1.78.0/html/docbook.css.xml |
deleted file mode 100644 |
index f1509bfd8ac75e7441ec1646689cba3b77889085..0000000000000000000000000000000000000000 |
--- a/third_party/docbook-xsl-1.78.0/html/docbook.css.xml |
+++ /dev/null |
@@ -1,110 +0,0 @@ |
-<?xml version="1.0"?> |
-<style> |
- |
-/********************************/ |
-/* start of styles in block.xsl */ |
- |
-.formalpara-title { |
- font-weight: bold; |
-} |
- |
-div.blockquote-title { |
- font-weight: bold; |
- margin-top: 1em; |
- margin-bottom: 1em; |
-} |
- |
-span.msgmain-title { |
- font-weight: bold; |
-} |
- |
-span.msgsub-title { |
- font-weight: bold; |
-} |
- |
-span.msgrel-title { |
- font-weight: bold; |
-} |
- |
-div.msglevel, div.msgorig, div.msgaud { |
- margin-top: 1em; |
- margin-bottom: 1em; |
-} |
- |
-span.msglevel-title, span.msgorig-title, span.msgaud-title { |
- font-weight: bold; |
-} |
- |
-div.msgexplan { |
- margin-top: 1em; |
- margin-bottom: 1em; |
-} |
- |
-span.msgexplan-title { |
- font-weight: bold; |
-} |
- |
-/* end of styles in block.xsl */ |
-/********************************/ |
- |
-/********************************/ |
-/* start of styles in autotoc.xsl */ |
- |
- |
-/* end of styles in autotoc.xsl */ |
-/********************************/ |
- |
-/********************************/ |
-/* start of styles in formal.xsl */ |
- |
-div.figure-title { |
- font-weight: bold; |
-} |
- |
-div.example-title { |
- font-weight: bold; |
-} |
- |
-div.equation-title { |
- font-weight: bold; |
-} |
- |
-div.table-title { |
- font-weight: bold; |
-} |
- |
-div.sidebar-title { |
- font-weight: bold; |
-} |
- |
- |
-/* end of styles in formal.xsl */ |
-/********************************/ |
- |
-/********************************/ |
-/* start of styles in verbatim.xsl */ |
- |
-div.programlisting { |
- white-space: pre; |
- font-family: monospace; |
-} |
- |
-div.screen { |
- white-space: pre; |
- font-family: monospace; |
-} |
- |
-div.synopsis { |
- white-space: pre; |
- font-family: monospace; |
-} |
- |
-/* end of styles in verbatim.xsl */ |
-/********************************/ |
- |
-/* footnote rule */ |
-hr.footnote-hr { |
- width: 100; |
-} |
- |
-</style> |