diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css index b4ec188f7f..873673227d 100644 --- a/docs/assets/css/bootstrap.css +++ b/docs/assets/css/bootstrap.css @@ -10,14 +10,6 @@ /*! normalize.css v2.0.1 | MIT License | git.io/normalize */ -/* ========================================================================== - HTML5 display definitions - ========================================================================== */ - -/** - * Correct `block` display not defined in IE 8/9. - */ - article, aside, details, @@ -32,134 +24,62 @@ summary { display: block; } -/** - * Correct `inline-block` display not defined in IE 8/9. - */ - audio, canvas, video { display: inline-block; } -/** - * Prevent modern browsers from displaying `audio` without controls. - * Remove excess height in iOS 5 devices. - */ - audio:not([controls]) { display: none; height: 0; } -/** - * Address styling not present in IE 8/9. - */ - [hidden] { display: none; } -/* ========================================================================== - Base - ========================================================================== */ - -/** - * 1. Set default font family to sans-serif. - * 2. Prevent iOS text size adjust after orientation change, without disabling - * user zoom. - */ - html { font-family: sans-serif; - /* 1 */ - -webkit-text-size-adjust: 100%; -ms-text-size-adjust: 100%; - /* 2 */ - } -/** - * Remove default margin. - */ - body { margin: 0; } -/* ========================================================================== - Links - ========================================================================== */ - -/** - * Address `outline` inconsistency between Chrome and other browsers. - */ - a:focus { outline: thin dotted; } -/** - * Improve readability when focused and also mouse hovered in all browsers. - */ - a:active, a:hover { outline: 0; } -/* ========================================================================== - Typography - ========================================================================== */ - -/** - * Address variable `h1` font size within `section` and `article` contexts in - * Firefox 4+, Safari 5, and Chrome. - */ - h1 { font-size: 2em; } -/** - * Address styling not present in IE 8/9, Safari 5, and Chrome. - */ - abbr[title] { border-bottom: 1px dotted; } -/** - * Address style set to `bolder` in Firefox 4+, Safari 5, and Chrome. - */ - b, strong { font-weight: bold; } -/** - * Address styling not present in Safari 5 and Chrome. - */ - dfn { font-style: italic; } -/** - * Address styling not present in IE 8/9. - */ - mark { color: #000; background: #ff0; } -/** - * Correct font family set oddly in Safari 5 and Chrome. - */ - code, kbd, pre, @@ -168,36 +88,20 @@ samp { font-size: 1em; } -/** - * Improve readability of pre-formatted text in all browsers. - */ - pre { word-wrap: break-word; white-space: pre; white-space: pre-wrap; } -/** - * Set consistent quote types. - */ - q { quotes: "\201C" "\201D" "\2018" "\2019"; } -/** - * Address inconsistent and variable font size in all browsers. - */ - small { font-size: 80%; } -/** - * Prevent `sub` and `sup` affecting `line-height` in all browsers. - */ - sub, sup { position: relative; @@ -214,68 +118,29 @@ sub { bottom: -0.25em; } -/* ========================================================================== - Embedded content - ========================================================================== */ - -/** - * Remove border when inside `a` element in IE 8/9. - */ - img { border: 0; } -/** - * Correct overflow displayed oddly in IE 9. - */ - svg:not(:root) { overflow: hidden; } -/* ========================================================================== - Figures - ========================================================================== */ - -/** - * Address margin not present in IE 8/9 and Safari 5. - */ - figure { margin: 0; } -/* ========================================================================== - Forms - ========================================================================== */ - -/** - * Define consistent border, margin, and padding. - */ - fieldset { padding: 0.35em 0.625em 0.75em; margin: 0 2px; border: 1px solid #c0c0c0; } -/** - * 1. Correct `color` not being inherited in IE 8/9. - * 2. Remove padding so people aren't caught out if they zero out fieldsets. - */ - legend { padding: 0; border: 0; } -/** - * 1. Correct font family not being inherited in all browsers. - * 2. Correct font size not being inherited in all browsers. - * 3. Address margins set differently in Firefox 4+, Safari 5, and Chrome. - */ - button, input, select, @@ -285,24 +150,11 @@ textarea { font-size: 100%; } -/** - * Address Firefox 4+ setting `line-height` on `input` using `!important` in - * the UA stylesheet. - */ - button, input { line-height: normal; } -/** - * 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio` - * and `video` controls. - * 2. Correct inability to style clickable `input` types in iOS. - * 3. Improve usability and consistency of cursor style between image-type - * `input` and others. - */ - button, html input[type="button"], input[type="reset"], @@ -311,32 +163,17 @@ input[type="submit"] { -webkit-appearance: button; } -/** - * Re-set default cursor for disabled elements. - */ - button[disabled], html input[disabled] { cursor: default; } -/** - * 1. Address box sizing set to `content-box` in IE 8/9. - * 2. Remove excess padding in IE 8/9. - */ - input[type="checkbox"], input[type="radio"] { padding: 0; box-sizing: border-box; } -/** - * 1. Address `appearance` set to `searchfield` in Safari 5 and Chrome. - * 2. Address `box-sizing` set to `border-box` in Safari 5 and Chrome - * (include `-moz` to future-proof). - */ - input[type="search"] { -webkit-box-sizing: content-box; -moz-box-sizing: content-box; @@ -344,48 +181,22 @@ input[type="search"] { -webkit-appearance: textfield; } -/** - * Remove inner padding and search cancel button in Safari 5 and Chrome - * on OS X. - */ - input[type="search"]::-webkit-search-cancel-button, input[type="search"]::-webkit-search-decoration { -webkit-appearance: none; } -/** - * Remove inner padding and border in Firefox 4+. - */ - button::-moz-focus-inner, input::-moz-focus-inner { padding: 0; border: 0; } -/** - * 1. Remove default vertical scrollbar in IE 8/9. - * 2. Improve readability and alignment in all browsers. - */ - textarea { overflow: auto; - /* 1 */ - vertical-align: top; - /* 2 */ - } -/* ========================================================================== - Tables - ========================================================================== */ - -/** - * Remove most spacing between table cells. - */ - table { border-collapse: collapse; border-spacing: 0; diff --git a/less/normalize.less b/less/normalize.less index 7b39912393..f6e4af4b4b 100644 --- a/less/normalize.less +++ b/less/normalize.less @@ -1,12 +1,12 @@ /*! normalize.css v2.0.1 | MIT License | git.io/normalize */ -/* ========================================================================== - HTML5 display definitions - ========================================================================== */ +// ========================================================================== +// HTML5 display definitions +// ========================================================================== -/** - * Correct `block` display not defined in IE 8/9. - */ +// +// Correct `block` display not defined in IE 8/9. +// article, aside, @@ -22,9 +22,9 @@ summary { display: block; } -/** - * Correct `inline-block` display not defined in IE 8/9. - */ +// +// Correct `inline-block` display not defined in IE 8/9. +// audio, canvas, @@ -32,119 +32,119 @@ video { display: inline-block; } -/** - * Prevent modern browsers from displaying `audio` without controls. - * Remove excess height in iOS 5 devices. - */ +// +// Prevent modern browsers from displaying `audio` without controls. +// Remove excess height in iOS 5 devices. +// audio:not([controls]) { display: none; height: 0; } -/** - * Address styling not present in IE 8/9. - */ +// +// Address styling not present in IE 8/9. +// [hidden] { display: none; } -/* ========================================================================== - Base - ========================================================================== */ +// ========================================================================== +// Base +// ========================================================================== -/** - * 1. Set default font family to sans-serif. - * 2. Prevent iOS text size adjust after orientation change, without disabling - * user zoom. - */ +// +// 1. Set default font family to sans-serif. +// 2. Prevent iOS text size adjust after orientation change, without disabling +// user zoom. +// html { - font-family: sans-serif; /* 1 */ - -webkit-text-size-adjust: 100%; /* 2 */ - -ms-text-size-adjust: 100%; /* 2 */ + font-family: sans-serif; // 1 + -webkit-text-size-adjust: 100%; // 2 + -ms-text-size-adjust: 100%; // 2 } -/** - * Remove default margin. - */ +// +// Remove default margin. +// body { margin: 0; } -/* ========================================================================== - Links - ========================================================================== */ +// ========================================================================== +// Links +// ========================================================================== -/** - * Address `outline` inconsistency between Chrome and other browsers. - */ +// +// Address `outline` inconsistency between Chrome and other browsers. +// a:focus { outline: thin dotted; } -/** - * Improve readability when focused and also mouse hovered in all browsers. - */ +// +// Improve readability when focused and also mouse hovered in all browsers. +// a:active, a:hover { outline: 0; } -/* ========================================================================== - Typography - ========================================================================== */ +// ========================================================================== +// Typography +// ========================================================================== -/** - * Address variable `h1` font size within `section` and `article` contexts in - * Firefox 4+, Safari 5, and Chrome. - */ +// +// Address variable `h1` font size within `section` and `article` contexts in +// Firefox 4+, Safari 5, and Chrome. +// h1 { font-size: 2em; } -/** - * Address styling not present in IE 8/9, Safari 5, and Chrome. - */ +// +// Address styling not present in IE 8/9, Safari 5, and Chrome. +// abbr[title] { border-bottom: 1px dotted; } -/** - * Address style set to `bolder` in Firefox 4+, Safari 5, and Chrome. - */ +// +// Address style set to `bolder` in Firefox 4+, Safari 5, and Chrome. +// b, strong { font-weight: bold; } -/** - * Address styling not present in Safari 5 and Chrome. - */ +// +// Address styling not present in Safari 5 and Chrome. +// dfn { font-style: italic; } -/** - * Address styling not present in IE 8/9. - */ +// +// Address styling not present in IE 8/9. +// mark { background: #ff0; color: #000; } -/** - * Correct font family set oddly in Safari 5 and Chrome. - */ +// +// Correct font family set oddly in Safari 5 and Chrome. +// code, kbd, @@ -154,9 +154,9 @@ samp { font-size: 1em; } -/** - * Improve readability of pre-formatted text in all browsers. - */ +// +// Improve readability of pre-formatted text in all browsers. +// pre { white-space: pre; @@ -164,25 +164,25 @@ pre { word-wrap: break-word; } -/** - * Set consistent quote types. - */ +// +// Set consistent quote types. +// q { quotes: "\201C" "\201D" "\2018" "\2019"; } -/** - * Address inconsistent and variable font size in all browsers. - */ +// +// Address inconsistent and variable font size in all browsers. +// small { font-size: 80%; } -/** - * Prevent `sub` and `sup` affecting `line-height` in all browsers. - */ +// +// Prevent `sub` and `sup` affecting `line-height` in all browsers. +// sub, sup { @@ -200,45 +200,45 @@ sub { bottom: -0.25em; } -/* ========================================================================== - Embedded content - ========================================================================== */ +// ========================================================================== +// Embedded content +// ========================================================================== -/** - * Remove border when inside `a` element in IE 8/9. - */ +// +// Remove border when inside `a` element in IE 8/9. +// img { border: 0; } -/** - * Correct overflow displayed oddly in IE 9. - */ +// +// Correct overflow displayed oddly in IE 9. +// svg:not(:root) { overflow: hidden; } -/* ========================================================================== - Figures - ========================================================================== */ +// ========================================================================== +// Figures +// ========================================================================== -/** - * Address margin not present in IE 8/9 and Safari 5. - */ +// +// Address margin not present in IE 8/9 and Safari 5. +// figure { margin: 0; } -/* ========================================================================== - Forms - ========================================================================== */ +// ========================================================================== +// Forms +// ========================================================================== -/** - * Define consistent border, margin, and padding. - */ +// +// Define consistent border, margin, and padding. +// fieldset { border: 1px solid #c0c0c0; @@ -246,103 +246,103 @@ fieldset { padding: 0.35em 0.625em 0.75em; } -/** - * 1. Correct `color` not being inherited in IE 8/9. - * 2. Remove padding so people aren't caught out if they zero out fieldsets. - */ +// +// 1. Correct `color` not being inherited in IE 8/9. +// 2. Remove padding so people aren't caught out if they zero out fieldsets. +// legend { - border: 0; /* 1 */ - padding: 0; /* 2 */ + border: 0; // 1 + padding: 0; // 2 } -/** - * 1. Correct font family not being inherited in all browsers. - * 2. Correct font size not being inherited in all browsers. - * 3. Address margins set differently in Firefox 4+, Safari 5, and Chrome. - */ +// +// 1. Correct font family not being inherited in all browsers. +// 2. Correct font size not being inherited in all browsers. +// 3. Address margins set differently in Firefox 4+, Safari 5, and Chrome. +// button, input, select, textarea { - font-family: inherit; /* 1 */ - font-size: 100%; /* 2 */ - margin: 0; /* 3 */ + font-family: inherit; // 1 + font-size: 100%; // 2 + margin: 0; // 3 } -/** - * Address Firefox 4+ setting `line-height` on `input` using `!important` in - * the UA stylesheet. - */ +// +// Address Firefox 4+ setting `line-height` on `input` using `!important` in +// the UA stylesheet. +// button, input { line-height: normal; } -/** - * 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio` - * and `video` controls. - * 2. Correct inability to style clickable `input` types in iOS. - * 3. Improve usability and consistency of cursor style between image-type - * `input` and others. - */ +// +// 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio` +// and `video` controls. +// 2. Correct inability to style clickable `input` types in iOS. +// 3. Improve usability and consistency of cursor style between image-type +// `input` and others. +// button, -html input[type="button"], /* 1 */ +html input[type="button"], // 1 input[type="reset"], input[type="submit"] { - -webkit-appearance: button; /* 2 */ - cursor: pointer; /* 3 */ + -webkit-appearance: button; // 2 + cursor: pointer; // 3 } -/** - * Re-set default cursor for disabled elements. - */ +// +// Re-set default cursor for disabled elements. +// button[disabled], html input[disabled] { cursor: default; } -/** - * 1. Address box sizing set to `content-box` in IE 8/9. - * 2. Remove excess padding in IE 8/9. - */ +// +// 1. Address box sizing set to `content-box` in IE 8/9. +// 2. Remove excess padding in IE 8/9. +// input[type="checkbox"], input[type="radio"] { - box-sizing: border-box; /* 1 */ - padding: 0; /* 2 */ + box-sizing: border-box; // 1 + padding: 0; // 2 } -/** - * 1. Address `appearance` set to `searchfield` in Safari 5 and Chrome. - * 2. Address `box-sizing` set to `border-box` in Safari 5 and Chrome - * (include `-moz` to future-proof). - */ +// +// 1. Address `appearance` set to `searchfield` in Safari 5 and Chrome. +// 2. Address `box-sizing` set to `border-box` in Safari 5 and Chrome +// (include `-moz` to future-proof). +// input[type="search"] { - -webkit-appearance: textfield; /* 1 */ + -webkit-appearance: textfield; // 1 -moz-box-sizing: content-box; - -webkit-box-sizing: content-box; /* 2 */ + -webkit-box-sizing: content-box; // 2 box-sizing: content-box; } -/** - * Remove inner padding and search cancel button in Safari 5 and Chrome - * on OS X. - */ +// +// Remove inner padding and search cancel button in Safari 5 and Chrome +// on OS X. +// input[type="search"]::-webkit-search-cancel-button, input[type="search"]::-webkit-search-decoration { -webkit-appearance: none; } -/** - * Remove inner padding and border in Firefox 4+. - */ +// +// Remove inner padding and border in Firefox 4+. +// button::-moz-focus-inner, input::-moz-focus-inner { @@ -350,23 +350,23 @@ input::-moz-focus-inner { padding: 0; } -/** - * 1. Remove default vertical scrollbar in IE 8/9. - * 2. Improve readability and alignment in all browsers. - */ +// +// 1. Remove default vertical scrollbar in IE 8/9. +// 2. Improve readability and alignment in all browsers. +// textarea { - overflow: auto; /* 1 */ - vertical-align: top; /* 2 */ + overflow: auto; // 1 + vertical-align: top; // 2 } -/* ========================================================================== - Tables - ========================================================================== */ +// ========================================================================== +// Tables +// ========================================================================== -/** - * Remove most spacing between table cells. - */ +// +// Remove most spacing between table cells. +// table { border-collapse: collapse;