From b4ebfd724d33223ac78190be88c6f8704c249651 Mon Sep 17 00:00:00 2001
From: Adam Michael <ajmichael@google.com>
Date: Thu, 21 Sep 2017 15:00:07 -0400
Subject: Add proguard 5.3.3 to third_party.

See https://github.com/bazelbuild/bazel/issues/3777

The Android SDK provides a very old proguard and will be removing it
soon, so we need to bundle our own.

Change-Id: I054c54130bef1befc8591598768184fe23f76161
RELNOTES: None
---
 .../java/proguard/proguard5.3.3/docs/style.css     | 278 +++++++++++++++++++++
 1 file changed, 278 insertions(+)
 create mode 100644 third_party/java/proguard/proguard5.3.3/docs/style.css

(limited to 'third_party/java/proguard/proguard5.3.3/docs/style.css')

diff --git a/third_party/java/proguard/proguard5.3.3/docs/style.css b/third_party/java/proguard/proguard5.3.3/docs/style.css
new file mode 100644
index 0000000000..ce7e995678
--- /dev/null
+++ b/third_party/java/proguard/proguard5.3.3/docs/style.css
@@ -0,0 +1,278 @@
+@charset "iso-8859-1";
+
+/* Fonts. */
+
+@font-face
+{
+  font-family: 'Open Sans';
+  font-style: normal;
+  font-weight: 400;
+  src: url('fonts/OpenSans-Regular.eot');
+  src: local('Open Sans'),
+       local('OpenSans'),
+       url('fonts/OpenSans-Regular.eot?#iefix') format('embedded-opentype'),
+       url('fonts/OpenSans-Regular.woff') format('woff'),
+       url('fonts/OpenSans-Regular.ttf') format('truetype'),
+       url('fonts/OpenSans-Regular.svg#OpenSansRegular') format('svg');
+}
+
+@font-face
+{
+  font-family: 'Open Sans';
+  font-style: normal;
+  font-weight: 700;
+  src: url('fonts/OpenSans-Bold.eot');
+  src: local('Open Sans Bold'),
+       local('OpenSans-Bold'),
+       url('fonts/OpenSans-Bold.eot?#iefix') format('embedded-opentype'),
+       url('fonts/OpenSans-Bold.woff') format('woff'),
+       url('fonts/OpenSans-Bold.ttf') format('truetype'),
+       url('fonts/OpenSans-Bold.svg#OpenSansBold') format('svg');
+}
+
+@font-face
+{
+  font-family: 'Open Sans';
+  font-style: italic;
+  font-weight: 400;
+  src: url('fonts/OpenSans-Italic.eot');
+  src: local('Open Sans Italic'),
+       local('OpenSans-Italic'),
+       url('fonts/OpenSans-Italic.eot?#iefix') format('embedded-opentype'),
+       url('fonts/OpenSans-Italic.woff') format('woff'),
+       url('fonts/OpenSans-Italic.ttf') format('truetype'),
+       url('fonts/OpenSans-Italic.svg#OpenSansItalic') format('svg');
+}
+
+/* Global settings. */
+
+body
+{
+  background: #FFFFFF;
+  font-family: "Open Sans",Verdana,sans-serif;
+}
+
+h1
+{
+  text-align: center;
+}
+
+h2
+{
+  text-align: center;
+}
+
+h3
+{
+  background: #EEEEFF;
+  padding: 10px;
+}
+
+h3 div
+{
+  font-weight: normal;
+  font-size: 80%;
+  float: right;
+}
+
+table
+{
+  width: 100%;
+}
+
+th
+{
+  padding: 4px;
+}
+
+tr.disappeared td
+{
+  background: #EEEEEE;
+}
+
+td
+{
+  background: #EEEEFF;
+  padding: 8px;
+}
+
+ul.spacious li
+{
+  padding: 8px;
+}
+
+a
+{
+  text-decoration: none;
+}
+
+img
+{
+  border: none;
+}
+
+a.button {
+  color: #000000;
+  text-decoration: none;
+  background: #E0E0E0;
+  border: 1px outset #FFFFFF;
+  float: right;
+}
+
+a.largebutton {
+  font-weight: bold;
+  color: #000000;
+  margin: 0px;
+  padding: 10px;
+  background: url("steel.gif");
+  text-decoration: none;
+  border: 1px outset #FFFFFF;
+}
+
+/* Settings for the introductory paragraph. */
+
+p.intro
+{
+  background: #EEEEFF;
+  padding: 10px;
+  border: 1px solid #000000;
+}
+
+/* Settings for the title frame. */
+
+body.title
+{
+  margin: 0px;
+  padding: 0px;
+  background: #C0C0C0;
+}
+
+div.title
+{
+  height: 48px;
+  margin: 0px;
+  padding: 0px;
+  border-width: 1px;
+  border-style: solid;
+  border-color: #FFFFFF #808080 #808080 #FFFFFF;
+  background: url("steel.gif"); 
+}
+
+div.title h1
+{
+  margin: 0px;
+  padding: 0px;
+  padding-top: 8px;
+  padding-left: 40%;
+  float: left;
+}
+
+div.title div
+{
+  margin: 0px;
+  padding: 0px;
+  padding-top: 12px;
+  padding-right: 20px;
+  float: right;
+}
+
+/* Settings for the section frames. */
+
+body.navigation
+{
+  margin: 0px;
+  padding: 0px;
+  background: #F8F8F8;
+}
+
+ul.navigation
+{
+  margin: 0px;
+  padding: 0px;
+  list-style: none;
+  text-align: center;
+  background: url("steel.gif");
+}
+
+ul.navigation li
+{
+  margin: 0px;
+  padding: 0px;
+  border-width: 1px;
+  border-style: solid;
+  border-color: #FFFFFF #808080 #808080 #FFFFFF;
+  color: #000000;
+  font-weight: bold;
+}
+
+ul.navigation li.title
+{
+  margin: 0px;
+  padding: 4px 10px;
+  background: #E0E0E0;
+}
+
+ul.navigation li a
+{
+  margin: 0px;
+  padding: 6px 0px;
+  background: transparent;
+  color: #000000;
+  text-decoration: none;
+  display: block;
+}
+
+ul.navigation li a:hover,
+ul.navigation li a:focus
+{
+  background: #FFFFFF;
+}
+
+/* Settings for the yellow note tables. */
+
+table.note
+{
+  width: 408px;
+  border: none;
+  border-spacing: 0px;
+}
+
+td.shadow8
+{
+  width: 8px;
+  padding: 0px;
+  margin: 0px;
+  vertical-align: bottom;
+  background: transparent;
+}
+
+td.shadow400
+{
+  width: 400px;
+  padding: 0px;
+  margin: 0px;
+  text-align: right;
+  background: transparent;
+}
+
+td.note
+{
+  width: 380px;
+  background: #FFFFC0;
+  padding: 0px;
+  margin: 0px;
+}
+
+p.note
+{
+  padding: 0px;
+  margin: 0px 10px;
+  text-align: center;
+}
+
+p.author
+{
+  padding: 0px;
+  margin: 0px 10px;
+  text-align: right;
+}
-- 
cgit v1.2.3