You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
542 B
22 lines
542 B
// Our customizations to bootstrap go here.
|
|
|
|
@black: @gray-darker;
|
|
@text-color: @black;
|
|
@font-size-base: 13px;
|
|
@font-family-monospace: monospace; // to allow user to customize their fonts
|
|
@navbar-height: 36px;
|
|
|
|
code {
|
|
color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
|
|
}
|
|
|
|
pre {
|
|
// bootstrap has pre defaults that we don't want to inherit.
|
|
// start pre tag defaults based on the surrounding context instead.
|
|
font-size: inherit;
|
|
line-height: inherit;
|
|
}
|
|
|
|
// Our own global variables for all pages go here
|
|
|