From a8ba1d48ed539fe8de9d43d95b0a31b26d6b3e58 Mon Sep 17 00:00:00 2001
From: Giulio Rossetti <giulio.rossetti@gmail.com>
Date: Thu, 30 Jan 2020 10:43:48 +0100
Subject: [PATCH] Add files via upload

---
 docs/_static/css/custom.css | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 docs/_static/css/custom.css

diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css
new file mode 100644
index 00000000..f9df6d3b
--- /dev/null
+++ b/docs/_static/css/custom.css
@@ -0,0 +1,22 @@
+/* Use white for logo background. */
+.wy-side-nav-search {
+  background-color: #fff;
+}
+
+.wy-side-nav-search > div.version {
+  color: #000;
+}
+
+/* Justify the text. */
+
+.section #basic-2-flip-flop-synchronizer{
+     text-align:justify;
+}
+
+.wy-side-nav-search>a img.logo, .wy-side-nav-search .wy-dropdown>a img.logo{
+    max-width: 75%;
+}
+
+.wy-side-nav-search>a, .wy-side-nav-search .wy-dropdown>a {
+    color: #209a8b;
+}
\ No newline at end of file