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