* howerver this would require backporting the other skins.
*/
-/* Preferences */
#preftoc {
/* Tabs */
width: 100%;
.background-image('images/preferences/break.png');
background-position: bottom left;
background-repeat: no-repeat;
-}
- #preftoc li {
+
+ li {
/* Tab */
float: left;
margin: 0;
.background-image('images/preferences/break.png');
background-position: bottom right;
background-repeat: no-repeat;
+
+ /* Sadly, IE6 won't understand this */
+ &:first-child {
+ margin-left: 1px;
+ }
+
+ &.selected {
+ a {
+ .background-image('images/preferences/fade.png');
+ background-position: bottom;
+ background-repeat: repeat-x;
+ color: #333;
+ text-decoration: none;
+ }
+ }
}
- /* Sadly, IE6 won't understand this */
- #preftoc li:first-child {
- margin-left: 1px;
- }
- #preftoc a,
- #preftoc a:active {
+
+ a,
+ a:active {
display: inline-block;
position: relative;
color: @menu-link-color;
background-image: none;
font-size: 0.9em;
}
- #preftoc a:hover,
- #preftoc a:focus {
+
+ a:hover,
+ a:focus {
text-decoration: underline;
}
- #preftoc li.selected a {
- .background-image('images/preferences/fade.png');
- background-position: bottom;
- background-repeat: repeat-x;
- color: #333;
- text-decoration: none;
- }
+}
+
#preferences {
float: left;
width: 100%;
clear: both;
border: solid 1px #ccc;
background-color: #fafafa;
+
+ fieldset {
+ border: none;
+ border-top: solid 1px #ccc;
+
+ &.prefsection {
+ border: none;
+ padding: 0;
+ margin: 1em;
+
+ legend.mainLegend {
+ display: none;
+ }
+ }
+ }
+
+ legend {
+ color: #666;
+ }
+
+ td {
+ padding-left: 0.5em;
+ padding-right: 0.5em;
+ }
+
+ div.mw-prefs-buttons {
+ padding: 1em;
+
+ input {
+ margin-right: 0.25em;
+ }
+ }
}
-#preferences fieldset {
- border: none;
- border-top: solid 1px #ccc;
-}
-#preferences fieldset.prefsection {
- border: none;
- padding: 0;
- margin: 1em;
-}
-#preferences legend {
- color: #666;
-}
-#preferences fieldset.prefsection legend.mainLegend {
- display: none;
-}
-#preferences td {
- padding-left: 0.5em;
- padding-right: 0.5em;
-}
+
.htmlform-tip {
font-size: x-small;
padding: .2em 2em;
color: #666;
}
-#preferences div.mw-prefs-buttons {
- padding: 1em;
-}
-#preferences div.mw-prefs-buttons input {
- margin-right: 0.25em;
-}