From 4104a93aa293dd40fde00f9bd1b488f01c8b25d6 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Wed, 22 May 2019 07:58:42 -0600
Subject: [PATCH] Documentation/style.css:  Forgot to add CSS file in a
 previous commit

---
 Documentation/style.css | 84 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 84 insertions(+)
 create mode 100644 Documentation/style.css

diff --git a/Documentation/style.css b/Documentation/style.css
new file mode 100644
index 00000000000..70ee0ed10f5
--- /dev/null
+++ b/Documentation/style.css
@@ -0,0 +1,84 @@
+body
+{
+    background: none;
+    font-family: sans-serif;
+    height: 100%;
+}
+
+a
+{
+    color: #dd2f2f;
+    text-decoration: none;
+}
+
+a:hover
+{
+    text-decoration: underline;
+}
+
+code
+{
+    font-family: "Bitstream Vera Sans Mono";
+    color: #2b4893;
+    background: #f4f4f4;
+    padding-left: 0.25em;
+    padding-right: 0.25em;
+}
+
+pre
+{
+    font-family: "Bitstream Vera Sans Mono";
+    background: #f4f4f4;
+    padding: 1em;
+}
+
+.container
+{
+  overflow-x: hidden;
+}
+
+.toc
+{
+    top: 0;
+    left: 0;
+    float: left;
+    width: 22%;
+    font-size: 80%;
+    overflow-y: scroll;
+    height: 100%;
+    position: fixed;
+}
+
+.toc tbody
+{
+    font-size: 80%;
+}
+
+.toc .toc_table
+{
+    margin-left: 1em;
+}
+
+.toc  ul
+{
+    padding-left: 1.5em;
+}
+
+.toc > ul
+{
+    padding-left: 1.0em;
+}
+
+.toc h1
+{
+    padding-left: 0.5em;
+    padding-top: 0.5em;
+}
+
+.main
+{
+    padding-left: 1em;
+    padding-right: 1em;
+    width: 75%;
+    float: right;
+}