diff --git a/docs/download.html b/docs/download.html index 89ddd76a23..427dad76dd 100644 --- a/docs/download.html +++ b/docs/download.html @@ -296,6 +296,12 @@ + + + + + +

Tables

diff --git a/docs/templates/pages/download.mustache b/docs/templates/pages/download.mustache index b282db6c94..d7cc9e9f7e 100644 --- a/docs/templates/pages/download.mustache +++ b/docs/templates/pages/download.mustache @@ -220,6 +220,12 @@ + + + + + +

{{_i}}Tables{{/i}}

diff --git a/less/mixins.less b/less/mixins.less index a118fe7c46..c4b4ee82ee 100644 --- a/less/mixins.less +++ b/less/mixins.less @@ -116,13 +116,13 @@ #font { #family { .serif() { - font-family: Georgia, "Times New Roman", Times, serif; + font-family: @serifFontFamily; } .sans-serif() { - font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; + font-family: @sansFontFamily; } .monospace() { - font-family: Menlo, Monaco, "Courier New", monospace; + font-family: @monoFontFamily; } } .shorthand(@size: @baseFontSize, @weight: normal, @lineHeight: @baseLineHeight) { diff --git a/less/variables.less b/less/variables.less index 812587fcd1..1fb22ac323 100644 --- a/less/variables.less +++ b/less/variables.less @@ -54,6 +54,10 @@ @headingsFontWeight: bold; // instead of browser default, bold @headingsColor: inherit; // empty to use BS default, @textColor +@serifFontFamily: Georgia, "Times New Roman", Times, serif; +@sansFontFamily: "Helvetica Neue", Helvetica, Arial, sans-serif; +@monoFontFamily: Menlo, Monaco, "Courier New", monospace; + // Tables // -------------------------