From 502115486736ed4f664e4ab639dedce3294d9a98 Mon Sep 17 00:00:00 2001 From: Tom Eastep Date: Tue, 18 Feb 2020 11:10:28 -0800 Subject: [PATCH] Delete incorrect .css file from the code repository Signed-off-by: Tom Eastep --- docs/html.css | 48 ------------------------------------------------ 1 file changed, 48 deletions(-) delete mode 100644 docs/html.css diff --git a/docs/html.css b/docs/html.css deleted file mode 100644 index b42f2f9ea..000000000 --- a/docs/html.css +++ /dev/null @@ -1,48 +0,0 @@ -div.informalexample { background-color: #d5dee3; - border-top-width: 2px; - border-top-style: double; - border-top-color: #d3d3d3; - border-bottom-width: 2px; - border-bottom-style: double; - border-bottom-color: #d3d3d3; - padding: 4px; - margin: 0em; - margin-left: 2em; - } - -pre.programlisting { whitespace: pre; - font-family: monospace; - background-color: #BEE1F6; - border-top-width: 1px; - border-top-style: single; - border-top-color: #d3d3d3; - border-bottom-width: 1px; - border-bottom-style: single; - border-bottom-color: #d3d3d3; - padding: 4px; - margin: 0em; - } - -div.sidebar { whitespace: pre; - font-family: monospace; - background-color: #A6D5EC; - border-top-width: 1px; - border-top-style: single; - border-top-color: #d3d3d3; - border-bottom-width: 1px; - border-bottom-style: single; - border-bottom-color: #d3d3d3; - padding: 4px; - margin: 0em; - } - -div.informalexample pre { whitespace: pre; - font-family: monospace; - border-top-width: 0px; - border-bottom-width: 0px; - padding: 0px; - } - -div.caution h3 { color:#CC3333; } - -div.note h3 { color:#000066; } \ No newline at end of file