diff options
| -rw-r--r-- | theme/stylesheets/website/variables.less | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/theme/stylesheets/website/variables.less b/theme/stylesheets/website/variables.less index 5e565ea..42dfad4 100644 --- a/theme/stylesheets/website/variables.less +++ b/theme/stylesheets/website/variables.less @@ -63,23 +63,6 @@ // Dropdown @zindex-dropdown: 100; -/* -// Basics of a navbar -@navbar-height: 50px; -@navbar-margin-bottom: @line-height-computed; -@navbar-default-border: #d5d5d5; -@navbar-border-radius: 0px; -@navbar-padding-horizontal: floor(@grid-gutter-width / 2); -@navbar-padding-vertical: ((@navbar-height - @line-height-computed) / 2); - -// Navbar brand label -@navbar-default-color: #333; -@navbar-default-link-color: #333; -@navbar-default-brand-color: @navbar-default-link-color; -@navbar-default-brand-hover-color: @navbar-default-link-color; -@navbar-default-brand-hover-bg: transparent; -*/ - // Border Radius @border-radius-base: 1px; @border-radius-large: 3px; @@ -175,17 +158,3 @@ // Basics of a navbar @navbar-default-border-1: #d5d5d5; @navbar-default-border-2: #d5d5d5; - -/* -// Navbar brand label -@navbar-default-color-1: #333; -@navbar-default-color-2: #333; -@navbar-default-link-color-1: #333; -@navbar-default-link-color-2: #333; -@navbar-default-brand-color-1: @navbar-default-link-color; -@navbar-default-brand-color-2: @navbar-default-link-color; -@navbar-default-brand-hover-color-1: @navbar-default-link-color; -@navbar-default-brand-hover-color-2: @navbar-default-link-color; -@navbar-default-brand-hover-bg-1: transparent; -@navbar-default-brand-hover-bg-2: transparent; -*/
\ No newline at end of file |