diff options
| -rw-r--r-- | docs/_static/my-styles.css | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/_static/my-styles.css b/docs/_static/my-styles.css index 86e7ea822..94e72cdb7 100644 --- a/docs/_static/my-styles.css +++ b/docs/_static/my-styles.css @@ -17,4 +17,12 @@ body{ .navbar-text{ color: #676767; +} + +.navbar-form.navbar-right{ + padding: 0; +} + +.navbar-form .form-control{ + width: 150px; }
\ No newline at end of file |