Add files via upload

GiulioRossetti · Jan 30, 2020 · a8ba1d4 · a8ba1d4
1 parent 1a54ecd
commit a8ba1d4
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/docs/_static/css/custom.css 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;
+}