##// END OF EJS Templates
Re-enabled nav bar height
Jonathan Frederic -
Show More
@@ -1,21 +1,21
1 // Our customizations to bootstrap go here.
1 // Our customizations to bootstrap go here.
2
2
3 @black: @gray-darker;
3 @black: @gray-darker;
4 @text-color: @black;
4 @text-color: @black;
5 @font-size-base: 13px;
5 @font-size-base: 13px;
6 @font-family-monospace: monospace; // to allow user to customize their fonts
6 @font-family-monospace: monospace; // to allow user to customize their fonts
7 // @navbar-height: 36px; Not used it BS3
7 @navbar-height: 36px;
8
8
9 code {
9 code {
10 color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
10 color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
11 }
11 }
12
12
13 pre {
13 pre {
14 // bootstrap has pre defaults that we don't want to inherit.
14 // bootstrap has pre defaults that we don't want to inherit.
15 // start pre tag defaults based on the surrounding context instead.
15 // start pre tag defaults based on the surrounding context instead.
16 font-size: inherit;
16 font-size: inherit;
17 line-height: inherit;
17 line-height: inherit;
18 }
18 }
19
19
20 // Our own global variables for all pages go here
20 // Our own global variables for all pages go here
21
21
General Comments 0
You need to be logged in to leave comments. Login now