diff options
Diffstat (limited to 'skins/vector/components/common.less')
-rw-r--r-- | skins/vector/components/common.less | 141 |
1 files changed, 0 insertions, 141 deletions
diff --git a/skins/vector/components/common.less b/skins/vector/components/common.less deleted file mode 100644 index 25ba301..0000000 --- a/skins/vector/components/common.less +++ /dev/null @@ -1,141 +0,0 @@ -/* - * Any rules which should not be flipped automatically in right-to-left situations should be - * prepended with @noflip in a comment block. - * - * This stylesheet employs a few CSS trick to accomplish compatibility with a wide range of web - * browsers. The most common trick is to use some styles in IE6 only. This is accomplished by using - * a rule that makes things work in IE6, and then following it with a rule that begins with - * "html > body" or use a child selector ">", which is ignored by IE6 because it does not support - * the child selector. You can spot this by looking for the "OVERRIDDEN BY COMPLIANT BROWSERS" and - * "IGNORED BY IE6" comments. - */ -@import "mediawiki.mixins"; - -/* Framework */ -html { - font-size: @html-font-size; -} -html, -body { - height: 100%; - margin: 0; - padding: 0; - font-family: @content-font-family; -} -body { - background-color: @menu-background-color; -} - -/* Content */ -div#content { - margin-left: 10em; - padding: @content-padding; - /* Border on top, left, and bottom side */ - border: 1px solid @content-border-color; - border-right-width: 0; - /* Merge the border with tabs' one (in their background image) */ - margin-top: -1px; - background-color: @body-background-color; - color: @content-font-color; - direction: ltr; - - .mw-editsection, - .mw-editsection-like { - font-family: @content-font-family; - } - - p { - line-height: inherit; - margin: 0.5em 0; - } - - h1, - h2, - #firstHeading { - font-family: @content-heading-font-family; - line-height: @heading-line-height; - margin-bottom: 0.25em; - padding: 0; - } - - h1, - #firstHeading { - font-size: @content-heading-font-size; - } - - h2 { - font-size: 1.5em; - margin-top: 1em; - } - - h3, - h4, - h5, - h6 { - line-height: @content-line-height; - margin-top: 0.3em; - margin-bottom: 0; - padding-bottom: 0; - } - - h3 { - font-size: 1.17em; - } - - h3, - h4 { - font-weight: bold; - } - - h4, - h5, - h6 { - font-size: 100%; /* (reset) */ - } - - #toc h2, - .toc h2 { - font-size: 100%; /* (reset) */ - font-family: @content-font-family; - } -} - -/* Hide empty portlets */ -div.emptyPortlet { - display: none; -} - -ul { - list-style-type: disc; - .list-style-image('images/bullet-icon.png'); -} - -pre, .mw-code { - line-height: 1.3em; -} - -/* Site Notice (includes notices from CentralNotice extension) */ -#siteNotice { - font-size: 0.8em; -} - -.redirectText { - font-size: 140%; -} - -.redirectMsg img { - vertical-align: text-bottom; -} - -#bodyContent { - position: relative; - width: 100%; - line-height: @content-line-height; - font-size: @content-font-size; -} - -/* Tooltips are outside of the normal body code, so this helps make the size of the text sensible */ -// FIXME: Should be part of jquery.tipsy.css -.tipsy { - font-size: 0.8em; -} |