skins/vector/main.css

   1 /* Framework */
   2 html,
   3 body {
   4         height: 100%;
   5         margin: 0;
   6         padding: 0;
   7         font-family: sans-serif;
   8         font-size: small;
   9 }
  10 body.rtl {
  11         direction: rtl;
  12         unicode-bidi: embed;
  13         background-position: top right;
  14 }
  15
  16 /* Content Base */
  17 div#content-base {
  18         position: fixed;
  19         top: 0;
  20         left: 0;
  21         height: 101%;
  22         width: 100%;
  23 }
  24         div#content-base > div {
  25                 height: 100%;
  26                 margin-left: 12em; /* PANEL WIDTH */
  27                 background-color: white;
  28                 background-image: url(images/content-base.png);
  29                 background-position: top left;
  30                 background-repeat: repeat-y;
  31         }
  32         body.rtl div#content-base > div {
  33                 margin-left: 0;
  34                 margin-right: 12em; /* PANEL WIDTH */
  35                 background-position: top right;
  36         }
  37
  38 /* Panel Base */
  39 div#panel-base {
  40         position: fixed;
  41         top: 0;
  42         left: 0;
  43         height: 101%;
  44         width: 12em; /* PANEL WIDTH */
  45         background-image: url(images/page-base.png);
  46         background-repeat: repeat;
  47 }
  48 body.rtl div#panel-base {
  49         left: auto;
  50         right: 0;
  51 }
  52
  53 /* Page */
  54 div#page {
  55         position: absolute;
  56         top: 0;
  57         left: 0;
  58         height: 100%;
  59         width: 100%;
  60 }
  61         div#page div.break {
  62                 clear: both;
  63         }
  64
  65 /* Panel */
  66 div#panel {
  67         margin-top: 155px; /* LOGO HEIGHT */
  68         width: 12em; /* PANEL WIDTH */
  69 }
  70         div#panel > div.buffer {
  71                 padding-top: 1em;
  72         }
  73         div#panel > div.buffer > div.portal {
  74                 padding-top: 1.5em;
  75         }
  76         div#panel > div.buffer:first-child {
  77                 padding-top: 0em;
  78         }
  79         div#panel > div.buffer > div.portal > h5 {
  80                 font-weight: normal;
  81                 color: #666666;
  82                 padding: 0.5em;
  83                 padding-top: 0;
  84                 padding-bottom: 0.33em;
  85                 padding-left: 1.25em;
  86                 cursor: default;
  87         }
  88         body.rtl div#panel > div.buffer > div.portal > h5 {
  89                 padding: 0;
  90                 margin: 0;
  91                 padding-left: 0;
  92                 padding-right: 1.25em;
  93         }
  94         div#panel > div.buffer > div.portal > div.body {
  95                 padding-top: 0.33em;
  96                 margin-left: 1.25em;
  97                 background-image: url(images/panel-fade.png);
  98                 background-repeat: no-repeat;
  99                 background-position: top left;
 100         }
 101         body.rtl div#panel > div.buffer > div.portal > div.body {
 102                 padding-left: 0;
 103                 margin-right: 1.25em;
 104                 background-position: top right;
 105         }
 106         div#panel > div.buffer > div.portal > div.body > ul {
 107                 list-style: none;
 108                 padding: 0;
 109                 margin: 0;
 110         }
 111         div#panel > div.buffer > div.portal > div.body > ul > li {
 112                 padding: 0;
 113                 padding-bottom: 0.5em;
 114                 margin: 0;
 115                 overflow: hidden;
 116         }
 117         div#panel > div.buffer > div.portal > div.body > ul > li > a {
 118                 color: #0645ad;
 119         }
 120         div#panel > div.buffer > div.portal > div.body > ul > li > a:visited {
 121                 color: #0b0080;
 122         }
 123
 124 /* Logo */
 125 #logo {
 126         position: absolute;
 127         top: 0;
 128         left: 0;
 129         height: 155px; /* LOGO HEIGHT */
 130         width: 12em; /* PANEL WIDTH */
 131         overflow: visible;
 132         background-image: url(images/page-fade.png);
 133         background-position: top left;
 134         background-repeat: repeat-x;
 135 }
 136 body.rtl #logo {
 137         left: auto;
 138         right: 0;
 139         background-position: top right;
 140 }
 141         #logo > a,
 142         #logo > a:hover {
 143                 display: block;
 144                 height: 155px; /* LOGO HEIGHT */
 145                 width: 12em; /* PANEL WIDTH */
 146                 background-repeat: no-repeat;
 147                 background-position: center center;
 148                 text-decoration: none;
 149         }
 150
 151 /* Content */
 152 div#content {
 153         float: right;
 154         width: 100%;
 155         margin-top: 6em; /* HEAD HEIGHT */
 156         margin-left: -12em; /* PANEL WIDTH */
 157 }
 158 body.rtl div#content {
 159         float: left;
 160         margin-left: 0;
 161         margin-right: -12em; /* PANEL WIDTH */
 162 }
 163         div#content > div.buffer {
 164                 margin-left: 12em; /* PANEL WIDTH */
 165                 padding: 10px;
 166                 background-color: white;
 167                 background-image: url(images/content-base.png);
 168                 background-position: top left;
 169                 background-repeat: repeat-y;
 170         }
 171         body.rtl div#content > div.buffer {
 172                 margin-left: 0;
 173                 margin-right: 12em; /* PANEL WIDTH */
 174                 background-position: top right;
 175         }
 176
 177 /* Head */
 178 div#head {
 179         position: absolute;
 180         top: 0;
 181         height: 6em; /* HEAD HEIGHT */
 182         width: 100%;
 183         background-image: url(images/page-fade.png);
 184         background-position: top left;
 185         background-repeat: repeat-x;
 186 }
 187 body.rtl div#head {
 188         background-position: top right;
 189 }
 190         div#head > div.buffer {
 191                 margin-left: 12em; /* PANEL WIDTH */
 192                 height: 100%;
 193                 background-image: url(images/head-base.png);
 194                 background-position: bottom left;
 195                 background-repeat: repeat-x;
 196         }
 197         body.rtl div#head > div.buffer {
 198                 margin-left: 0;
 199                 margin-right: 12em; /* PANEL WIDTH */
 200                 background-position: bottom right;
 201         }
 202         div#head > div.buffer > div.top {
 203                 height: 3em; /* HALF HEAD HEIGHT */
 204                 float: right;
 205         }
 206         body.rtl div#head > div.buffer > div.top {
 207                 float: left;
 208         }
 209         div#head > div.buffer > div.bottom {
 210                 margin-top: -3em; /* HALF HEAD HEIGHT */
 211                 height: 3em; /* HALF HEAD HEIGHT */
 212                 float: right;
 213         }
 214         body.rtl div#head > div.buffer > div.bottom {
 215                 float: left;
 216         }
 217         div#head > div.buffer > div.middle {
 218                 height: 3em; /* HALF HEAD HEIGHT */
 219                 width: 100%;
 220                 clear: both;
 221         }
 222         body.rtl div#head > div.buffer > div.middle {
 223                 float: right;
 224         }
 225
 226 /* Foot */
 227 div#foot {
 228         margin-left: 12em; /* PANEL WIDTH */
 229         background-image: url(images/page-base.png);
 230         background-repeat: repeat;
 231 }
 232 body.rtl div#foot {
 233         margin-left: 0;
 234         margin-right: 12em; /* PANEL WIDTH */
 235         background-position: top right;
 236 }
 237         div#foot > div.buffer {
 238                 background-image: url(images/foot-base.png);
 239                 background-position: top left;
 240                 background-repeat: repeat-x;
 241                 padding: 0.75em;
 242         }
 243         body.rtl div#foot > div.buffer {
 244                 margin-left: 0;
 245                 margin-right: 1px;
 246                 background-position: top right;
 247         }
 248         div#foot ul {
 249                 margin: 0;
 250                 padding: 0;
 251                 list-style: none;
 252         }
 253         div#foot li {
 254                 font-size: x-small;
 255                 color: #666666;
 256         }
 257         div#foot a {
 258                 color: #0645ad;
 259
 260         }
 261         div#foot a:visited {
 262                 color: #0b0080;
 263         }
 264
 265 /* Foot Icons */
 266 ul#foot-icons {
 267         float: right;
 268         width: 88px;
 269         margin-right: 0.75em;
 270 }
 271         body.rtl ul#foot-icons {
 272                 float: left;
 273                 margin-left: 0.75em;
 274                 margin-right: 0;
 275         }
 276         ul#foot-icons > li {
 277                 margin-bottom: 0.75em;
 278                 margin-top: 0.2em;
 279         }
 280
 281 /* Foot Info */
 282 ul#foot-info {
 283         float: left;
 284 }
 285         body.rtl ul#foot-info {
 286                 float: right;
 287         }
 288         ul#foot-info > li {
 289                 padding: 0em;
 290                 padding-bottom: 0.5em;
 291                 margin: 0em;
 292                 margin-bottom: 0.5em;
 293                 border-bottom: dashed 1px #DEDEDE;
 294         }
 295
 296 /* Foot Places */
 297 ul#foot-places {
 298         clear: left;
 299         float: left;
 300 }
 301         body.rtl ul#foot-places {
 302                 clear: right;
 303                 float: right;
 304         }
 305         ul#foot-places > li {
 306                 float: left;
 307                 padding: 0;
 308                 padding-bottom: 0.5em;
 309                 margin: 0;
 310                 margin-right: 1.5em;
 311         }
 312         body.rtl ul#foot-places > li {
 313                 float: right;
 314                 margin-left: 1.5em;
 315                 margin-right: 0;
 316         }
 317
 318 /* Namespaces */
 319 div#namespaces {
 320         float: left;
 321         height: 3em; /* HALF HEAD HEIGHT */
 322         background-image: url(images/head-break.png);
 323         background-position: bottom right;
 324         background-repeat: no-repeat;
 325         padding-right: 1px;
 326 }
 327 body.rtl div#namespaces {
 328         float: right;
 329         background-position: bottom left;
 330         padding-right: 0;
 331         padding-left: 1px;
 332 }
 333         div#namespaces h5 {
 334                 display: none;
 335         }
 336         div#namespaces > ul {
 337                 height: 100%;
 338                 list-style: none;
 339                 margin: 0;
 340                 padding: 0;
 341         }
 342         div#namespaces > ul > li {
 343                 float: left;
 344                 height: 100%;
 345                 margin: 0;
 346                 padding: 0;
 347                 background-image: url(images/namespace-normal-fade.png);
 348                 background-position: bottom left;
 349                 background-repeat: repeat-x;
 350         }
 351         body.rtl div#namespaces > ul > li {
 352                 float: right;
 353                 background-position: bottom right;
 354         }
 355         div#namespaces > ul > li > a {
 356                 display: block;
 357                 height: 100%;
 358                 line-height: 4em;
 359                 padding-left: 0.5em;
 360                 padding-right: 0.5em;
 361                 background-image: url(images/head-break.png);
 362                 background-position: bottom left;
 363                 background-repeat: no-repeat;
 364         }
 365         body.rtl div#namespaces > ul > li > a {
 366                 background-position: bottom right;
 367         }
 368         div#namespaces > ul > li > a,
 369         div#namespaces > ul > li > a:visited {
 370                 color: #0645ad;
 371         }
 372         div#namespaces > ul > li.selected > a,
 373         div#namespaces > ul > li.selected > a:visited{
 374                 color: #333333;
 375                 cursor: default;
 376                 text-decoration: none;
 377         }
 378         div#namespaces > ul > li.new > a,
 379         div#namespaces > ul > li.new > a:visited{
 380                 color: #a55858;
 381         }
 382         div#namespaces > ul > li.selected {
 383                 background-image: url(images/namespace-current-fade.png);
 384                 background-position: bottom left;
 385                 background-repeat: repeat-x;
 386         }
 387         body.rtl div#namespaces > ul > li.selected {
 388                 background-position: bottom right;
 389         }
 390
 391 /* Views */
 392 div#views {
 393         float: left;
 394         height: 3em; /* HALF HEAD HEIGHT */
 395         background-image: url(images/head-break.png);
 396         background-position: bottom right;
 397         background-repeat: no-repeat;
 398         padding-right: 1px;
 399 }
 400 body.rtl div#views {
 401         float: right;
 402         background-position: bottom left;
 403         padding-right: 0;
 404         padding-left: 1px;
 405 }
 406         div#views h5 {
 407                 display: none;
 408         }
 409         div#views > ul {
 410                 height: 100%;
 411                 list-style: none;
 412                 margin: 0;
 413                 padding: 0;
 414         }
 415         div#views > ul > li {
 416                 float: left;
 417                 height: 100%;
 418                 margin: 0;
 419                 padding: 0;
 420                 background-image: url(images/view-normal-fade.png);
 421                 background-position: bottom left;
 422                 background-repeat: repeat-x;
 423         }
 424         body.rtl div#views > ul > li {
 425                 float: right;
 426                 background-position: bottom right;
 427         }
 428         div#views > ul > li > a {
 429                 display: block;
 430                 height: 100%;
 431                 line-height: 4em;
 432                 padding-left: 0.5em;
 433                 padding-right: 0.5em;
 434                 background-image: url(images/head-break.png);
 435                 background-position: bottom left;
 436                 background-repeat: no-repeat;
 437         }
 438         body.rtl div#views > ul > li > a {
 439                 background-position: bottom right;
 440         }
 441         div#views > ul > li > a,
 442         div#views > ul > li > a:visited {
 443                 color: #0645ad;
 444         }
 445         div#views > ul > li.selected > a,
 446         div#views > ul > li.selected > a:visited{
 447                 color: #333333;
 448                 cursor: default;
 449                 text-decoration: none;
 450         }
 451         div#views > ul > li.new > a,
 452         div#views > ul > li.new > a:visited{
 453                 color: #a55858;
 454         }
 455         div#views > ul > li.selected {
 456                 background-image: url(images/view-current-fade.png);
 457                 background-position: bottom left;
 458                 background-repeat: repeat-x;
 459         }
 460         body.rlt div#views > ul > li.selected {
 461                 background-position: bottom right;
 462         }
 463
 464 /* Actions */
 465 div#actions {
 466         float: left;
 467         height: 3em; /* HALF HEAD HEIGHT */
 468         background-image: url(images/head-break.png);
 469         background-position: bottom right;
 470         background-repeat: no-repeat;
 471         padding-right: 1px;
 472 }
 473 body.rtl div#actions {
 474         float: right;
 475         background-position: bottom left;
 476         padding-right: 0;
 477         padding-left: 1px;
 478 }
 479         div#actions > h5 {
 480                 height: 100%;
 481                 margin: 0;
 482                 padding: 0;
 483                 background-image: url(images/action-normal-fade.png);
 484                 background-position: bottom left;
 485                 background-repeat: repeat-x;
 486         }
 487         body.rtl div#actions > h5 {
 488                 background-position: bottom right;
 489         }
 490         div#actions > h5 > div.icon {
 491                 height: 80%;
 492                 width: 16px;
 493                 margin-left: 0.25em;
 494                 margin-right: 0.25em;
 495                 background-image: url(images/arrow-down-icon.png);
 496                 background-position: bottom center;
 497                 background-repeat: no-repeat;
 498                 cursor: default;
 499         }
 500         div#actions > h5 > div.icon > span {
 501                 display: none;
 502         }
 503         div#actions > div.menu {
 504                 display: none;
 505         }
 506         div#actions:hover > div.menu {
 507                 display: block;
 508         }
 509         div#actions > div.menu > ul {
 510                 position: absolute;
 511                 list-style: none;
 512                 background-color: white;
 513                 border: solid 1px silver;
 514                 border-top-width: 0;
 515                 margin: 0;
 516                 margin-left: -1px;
 517                 padding: 0;
 518         }
 519         body.rtl div#actions > div.menu > ul {
 520                 margin-left: 0;
 521                 margin-right: -1px;
 522         }
 523         div#actions > div.menu > ul > li {
 524                 margin: 0;
 525                 padding: 0;
 526         }
 527         div#actions > div.menu > ul > li > a {
 528                 display: block;
 529                 padding-top: 0.25em;
 530                 padding-bottom: 0.25em;
 531                 padding-left: 0.5em;
 532                 padding-right: 0.5em;
 533         }
 534         div#actions > div.menu > ul > li > a,
 535         div#actions > div.menu > ul > li > a:visited {
 536                 color: #0645ad;
 537         }
 538
 539 /* I DON"T THINK THIS IS AWESOME, BUT IT"S SOMETHING... */
 540
 541 /* Variants */
 542 div#variants {
 543         float: left;
 544         height: 3em; /* HALF HEAD HEIGHT */
 545         background-image: url(images/head-break.png);
 546         background-position: bottom right;
 547         background-repeat: no-repeat;
 548         padding-right: 1px;
 549 }
 550 body.rtl div#variants {
 551         float: right;
 552         background-position: bottom left;
 553         padding-right: 0;
 554         padding-left: 1px;
 555 }
 556         div#variants > h5 {
 557                 height: 100%;
 558                 margin: 0;
 559                 padding: 0;
 560                 background-image: url(images/action-normal-fade.png);
 561                 background-position: bottom left;
 562                 background-repeat: repeat-x;
 563         }
 564         body.rtl div#variants > h5 {
 565                 background-position: bottom right;
 566         }
 567         div#variants > h5 > div.icon {
 568                 height: 80%;
 569                 width: 16px;
 570                 margin-left: 0.25em;
 571                 margin-right: 0.25em;
 572                 background-image: url(images/arrow-down-icon.png);
 573                 background-position: bottom center;
 574                 background-repeat: no-repeat;
 575                 cursor: default;
 576         }
 577         div#variants > h5 > div.icon > span {
 578                 display: none;
 579         }
 580         div#variants > div.menu {
 581                 display: none;
 582         }
 583         div#variants:hover > div.menu {
 584                 display: block;
 585         }
 586         div#variants > div.menu > ul {
 587                 position: absolute;
 588                 list-style: none;
 589                 background-color: white;
 590                 border: solid 1px silver;
 591                 border-top-width: 0;
 592                 margin: 0;
 593                 margin-left: -1px;
 594                 padding: 0;
 595         }
 596         body.rtl div#variants > div.menu > ul {
 597                 margin-left: 0;
 598                 margin-right: -1px;
 599         }
 600         div#variants > div.menu > ul > li {
 601                 margin: 0;
 602                 padding: 0;
 603         }
 604         div#variants > div.menu > ul > li > a {
 605                 display: block;
 606                 padding-top: 0.25em;
 607                 padding-bottom: 0.25em;
 608                 padding-left: 0.5em;
 609                 padding-right: 0.5em;
 610         }
 611         div#variants > div.menu > ul > li > a,
 612         div#variants > div.menu > ul > li > a:visited {
 613                 color: #0645ad;
 614         }
 615
 616 /* END OF STUFF I"M NOT SURE ABOUT... */
 617
 618 /* Search */
 619 div#search {
 620         margin-top: 0.75em;
 621         margin-right: 0.5em;
 622         margin-left: 0.75em;
 623         float: left;
 624 }
 625 body.rtl div#search {
 626         margin-right: 0.75em;
 627         margin-left: 0.5em;
 628         float: right;
 629 }
 630         div#search h5 {
 631                 display: none;
 632         }
 633
 634 /* Personal */
 635 div#personal {
 636         float: right;
 637         margin-top: 0.25em;
 638         margin-right: 0.75em;
 639         margin-left: 0.75em;
 640 }
 641 body.rtl div#personal {
 642         float: left;
 643 }
 644         div#personal > div.buffer > h5 {
 645                 display: none;
 646         }
 647         div#personal > div.buffer > ul {
 648                 list-style: none;
 649                 margin: 0;
 650                 padding: 0;
 651         }
 652         div#personal > div.buffer > ul > li {
 653                 float: left;
 654                 margin: 0;
 655                 padding-bottom: 0.5em;
 656                 padding-left: 1em;
 657                 font-size: 0.9em;
 658         }
 659         body.rtl div#personal > div.buffer > ul > li {
 660                 float: right;
 661                 padding-left: 0;
 662                 padding-right: 1em;
 663         }
 664         div#personal > div.buffer > ul > li > a,
 665         div#personal > div.buffer > ul > li > a:visited {
 666                 color: #0645ad;
 667         }
 668         div#personal > div.buffer > ul > li > a.new,
 669         div#personal > div.buffer > ul > li > a.new:visited {
 670                 color: #a55858;
 671         }
 672
 673 /*
 674  *
 675  * The following code is highly modified from monobook. It would be nice if the
 676  * preftoc id was more human readable like preferences-toc for instance,
 677  * howerver this would require backporting the other skins.
 678  *
 679  */
 680
 681 /* Preferences */
 682 #preftoc {
 683         /* Tabs */
 684         float: left;
 685         clear: both;
 686         margin: 0 !important;
 687         padding: 0 !important;
 688         height: 2.25em;
 689         background-image: url(images/preferences-break.png);
 690         background-position: bottom left;
 691         background-repeat: no-repeat;
 692 }
 693 body.rtl #preftoc {
 694         background-position: bottom right;
 695 }
 696         #preftoc li {
 697                 /* Tab */
 698                 float: left;
 699                 margin: 0;
 700                 padding: 0;
 701                 padding-right: 1px;
 702                 height: 2.25em;
 703                 white-space: nowrap;
 704                 list-style-type: none;
 705                 list-style-image: none;
 706                 background-image: url(images/preferences-break.png);
 707                 background-position: bottom right;
 708                 background-repeat: no-repeat;
 709         }
 710         #preftoc li:first-child {
 711                 margin-left: 1px;
 712         }
 713         body.rtl #preftoc li {
 714                 float: right;
 715                 padding-right: 0;
 716                 padding-left: 1px;
 717                 background-position: bottom left;
 718         }
 719         #preftoc a,
 720         #preftoc a:active {
 721                 /* Tab Label */
 722                 display: block;
 723                 position: relative;
 724                 color: #0645ad;
 725                 padding: 0.5em;
 726                 text-decoration: none;
 727                 background-image: none;
 728         }
 729         #preftoc a:hover {
 730                 text-decoration: underline;
 731         }
 732         #preftoc li.selected a {
 733                 /* Selected Tab Label */
 734                 cursor: default;
 735                 background-image: url(images/preferences-fade.png);
 736                 background-position: bottom;
 737                 background-repeat: repeat-x;
 738                 color: #333333;
 739                 cursor: default;
 740                 text-decoration: none;
 741         }
 742 #preferences {
 743         float: left;
 744         width: 100%;
 745         margin: 0;
 746         clear: both;
 747         border: solid 1px #cccccc;
 748         background-color: #f9f9f9;
 749         background-image: url(images/preferences-base.png);
 750 }
 751 #preferences > fieldset.prefsection {
 752         border: none;
 753         padding: 0;
 754         margin: 1em;
 755 }
 756 #preferences > fieldset.prefsection > fieldset {
 757         border: none;
 758         border-top: solid 1px #cccccc;
 759 }
 760 #preferences legend {
 761         color: #666666;
 762 }
 763 #preferences > fieldset.prefsection > legend.mainLegend {
 764         display: none;
 765 }
 766 #preferences td {
 767         padding-left: 0.5em;
 768         padding-right: 0.5em;
 769 }
 770 #preferences td.htmlform-tip {
 771         font-size: x-small;
 772         padding: .2em 2em;
 773         color: #666666;
 774 }
 775 #preferences div.mw-prefs-buttons {
 776         padding: 1em;
 777 }
 778 #preferences div.mw-prefs-buttons input {
 779         margin-right: 0.25em;
 780 }
 781
 782 /*
 783  *
 784  * The following code is slightly modified from monobook
 785  *
 786  */
 787
 788 /* Links */
 789 a {
 790         text-decoration: none;
 791         color: #0645ad;
 792         background: none;
 793 }
 794 a:visited {
 795         color: #0b0080;
 796 }
 797 a:active {
 798         color: #faa700;
 799 }
 800 a:hover {
 801         text-decoration: underline;
 802 }
 803 a.stub {
 804         color: #772233;
 805 }
 806 a.new, #p-personal a.new {
 807         color: #ba0000;
 808 }
 809 a.new:visited, #p-personal a.new:visited {
 810         color: #a55858;
 811 }
 812
 813 /* Inline Elements */
 814 img {
 815         border: none;
 816         vertical-align: middle;
 817 }
 818 hr {
 819         height: 1px;
 820         color: #aaa;
 821         background-color: #aaa;
 822         border: 0;
 823         margin: .2em 0 .2em 0;
 824 }
 825
 826 /* Structural Elements */
 827 h1,
 828 h2,
 829 h3,
 830 h4,
 831 h5,
 832 h6 {
 833         color: black;
 834         background: none;
 835         font-weight: normal;
 836         margin: 0;
 837         padding-top: .5em;
 838         padding-bottom: .17em;
 839         border-bottom: 1px solid #aaa;
 840         width: auto;
 841 }
 842 h1 { font-size: 188%; }
 843 h1 .editsection { font-size: 53%; }
 844 h2 { font-size: 150%; }
 845 h2 .editsection { font-size: 67%; }
 846 h3,
 847 h4,
 848 h5,
 849 h6 {
 850         border-bottom: none;
 851         font-weight: bold;
 852 }
 853 h3 { font-size: 132%; }
 854 h3 .editsection { font-size: 76%; font-weight: normal; }
 855 h4 { font-size: 116%; }
 856 h4 .editsection { font-size: 86%; font-weight: normal; }
 857 h5 { font-size: 100%; }
 858 h5 .editsection { font-weight: normal; }
 859 h6 { font-size: 80%;  }
 860 h6 .editsection { font-size: 125%; font-weight: normal; }
 861 body.rtl .editsection {
 862         float: left;
 863         margin-right: 5px;
 864         margin-left: 0; /* bug 9122: undo default LTR */
 865 }
 866 p {
 867         margin: .4em 0 .5em 0;
 868         line-height: 1.5em;
 869 }
 870         p img {
 871                 margin: 0;
 872         }
 873 abbr,
 874 acronym,
 875 .explain {
 876         border-bottom: 1px dotted black;
 877         color: black;
 878         background: none;
 879         cursor: help;
 880 }
 881 q {
 882         font-family: Times, "Times New Roman", serif;
 883         font-style: italic;
 884 }
 885 /* Disabled for now
 886 blockquote {
 887         font-family: Times, "Times New Roman", serif;
 888         font-style: italic;
 889 }*/
 890 code {
 891         background-color: #f9f9f9;
 892 }
 893 pre {
 894         padding: 1em;
 895         border: 1px dashed #2f6fab;
 896         color: black;
 897         background-color: #f9f9f9;
 898         line-height: 1.1em;
 899 }
 900 div#content ul {
 901         line-height: 1.5em;
 902         list-style-type: square;
 903         margin: .3em 0 0 1.5em;
 904         padding: 0;
 905         list-style-image: url(images/bullet-icon.png);
 906 }
 907 body.rtl div#content ul {
 908         margin-left: 0;
 909         margin-right: 1.5em;
 910 }
 911 div#content ol {
 912         line-height: 1.5em;
 913         margin: .3em 0 0 3.2em;
 914         padding: 0;
 915         list-style-image: none;
 916 }
 917 body.rtl div#content ol {
 918         margin-left: 0;
 919         margin-right: 2.4em;
 920 }
 921 div#content li {
 922         margin-bottom: .1em;
 923 }
 924 div#content dt {
 925         font-weight: bold;
 926         margin-bottom: .1em;
 927 }
 928 div#content dl {
 929         margin-top: .2em;
 930         margin-bottom: .5em;
 931 }
 932 div#content dd {
 933         line-height: 1.5em;
 934         margin-left: 2em;
 935         margin-bottom: .1em;
 936 }
 937 body.rtl div#content dd {
 938         margin-left: 0;
 939         margin-right: 1.6em;
 940 }
 941 /**
 942  * The following lines don't have a visible effect on non-Gecko browsers
 943  * They fix a problem ith Gecko browsers rendering lists to the right of
 944  * left-floated objects in an RTL layout.
 945  */
 946 body.rtl div#content ul {
 947         display: table;
 948         text-align: right;
 949         margin-left: 0;
 950         margin-right: 1.5em;
 951 }
 952 body.rtl div#content ul#filetoc {
 953         display: block;
 954         text-align: right;
 955 }
 956
 957 /* Tables */
 958 div#content table {
 959         font-size: 100%;
 960         color: black;
 961         /* we don't want the bottom borders of <h2>s to be visible through
 962          * floated tables */
 963         background-color: white;
 964 }
 965 div#content fieldset table {
 966         /* but keep table layouts in forms clean... */
 967         background: none;
 968 }
 969
 970 /* Forms */
 971 div#content fieldset {
 972         border: 1px solid #2f6fab;
 973         margin: 1em 0 1em 0;
 974         padding: 0 1em 1em;
 975         line-height: 1.5em;
 976 }
 977         fieldset.nested {
 978                 margin: 0 0 0.5em 0;
 979                 padding: 0 0.5em 0.5em;
 980         }
 981 div#content legend {
 982         padding: .5em;
 983         font-size: 95%;
 984 }
 985 div#content form {
 986         border: none;
 987         margin: 0;
 988 }
 989 div#content textarea {
 990         width: 100%;
 991         padding: .1em;
 992 }
 993 div#content select {
 994         vertical-align: top;
 995 }
 996
 997 /* Table of Contents */
 998 #toc,
 999 .toc,
1000 .mw-warning {
1001         border: 1px solid #aaa;
1002         background-color: #f9f9f9;
1003         padding: 5px;
1004         font-size: 95%;
1005 }
1006 #toc h2,
1007 .toc h2 {
1008         display: inline;
1009         border: none;
1010         padding: 0;
1011         font-size: 100%;
1012         font-weight: bold;
1013 }
1014 #toc #toctitle,
1015 .toc #toctitle,
1016 #toc .toctitle,
1017 .toc .toctitle {
1018         text-align: center;
1019 }
1020 #toc ul,
1021 .toc ul {
1022         list-style-type: none;
1023         list-style-image: none;
1024         margin-left: 0;
1025         padding-left: 0;
1026         text-align: left;
1027 }
1028 #toc ul ul,
1029 .toc ul ul {
1030         margin: 0 0 0 2em;
1031 }
1032 #toc .toctoggle,
1033 .toc .toctoggle {
1034         font-size: 94%;
1035 }
1036
1037 /* Images */
1038 div.floatright, table.floatright {
1039         clear: right;
1040         float: right;
1041         position: relative;
1042         margin: 0 0 .5em .5em;
1043         border: 0;
1044 }
1045 div.floatright p { font-style: italic; }
1046 div.floatleft, table.floatleft {
1047         float: left;
1048         clear: left;
1049         position: relative;
1050         margin: 0 .5em .5em 0;
1051         border: 0;
1052 }
1053 div.floatleft p { font-style: italic; }
1054
1055 /* Thumbnails */
1056 div.thumb {
1057         margin-bottom: .5em;
1058         border-style: solid;
1059         border-color: white;
1060         width: auto;
1061 }
1062 div.thumbinner {
1063         border: 1px solid #ccc;
1064         padding: 3px !important;
1065         background-color: #f9f9f9;
1066         font-size: 94%;
1067         text-align: center;
1068         overflow: hidden;
1069 }
1070 html .thumbimage {
1071         border: 1px solid #ccc;
1072 }
1073 html .thumbcaption {
1074         border: none;
1075         text-align: left;
1076         line-height: 1.4em;
1077         padding: 3px !important;
1078         font-size: 94%;
1079 }
1080 div.magnify {
1081         float: right;
1082         border: none !important;
1083         background: none !important;
1084 }
1085 div.magnify a, div.magnify img {
1086         display: block;
1087         border: none !important;
1088         background: none !important;
1089 }
1090 div.tright {
1091         clear: right;
1092         float: right;
1093         border-width: .5em 0 .8em 1.4em;
1094 }
1095 div.tleft {
1096         float: left;
1097         clear: left;
1098         margin-right: .5em;
1099         border-width: .5em 1.4em .8em 0;
1100 }
1101 img.thumbborder {
1102         border: 1px solid #dddddd;
1103 }
1104 .hiddenStructure {
1105         display: none;
1106 }
1107
1108 /* Warning */
1109 .mw-warning {
1110         margin-left: 50px;
1111         margin-right: 50px;
1112         text-align: center;
1113 }
1114
1115 /* User Message */
1116 .usermessage {
1117         background-color: #ffce7b;
1118         border: 1px solid #ffa500;
1119         color: black;
1120         font-weight: bold;
1121         margin: 2em 0 1em;
1122         padding: .5em 1em;
1123         vertical-align: middle;
1124 }
1125
1126 /* Site Notice */
1127 #siteNotice {
1128         text-align: center;
1129         font-size: 95%;
1130         padding-top: 0.9em;
1131 }
1132         #siteNotice p {
1133                 margin: 0;
1134                 padding: 0;
1135         }
1136
1137 /* Categories */
1138 .catlinks {
1139         border: 1px solid #aaa;
1140         background-color: #f9f9f9;
1141         padding: 5px;
1142         margin-top: 1em;
1143         clear: both;
1144 }
1145
1146 /* Sub-navigation */
1147 #siteSub {
1148         display: none;
1149 }
1150 #jump-to-nav {
1151         display: none;
1152 }
1153 #contentSub, #contentSub2 {
1154         font-size: 84%;
1155         line-height: 1.2em;
1156         margin: 0 0 1.4em 1em;
1157         color: #7d7d7d;
1158         width: auto;
1159 }
1160 span.subpages {
1161         display: block;
1162 }
1163
1164 /* Emulate Center */
1165 .center {
1166         width: 100%;
1167         text-align: center;
1168 }
1169 *.center * {
1170         margin-left: auto;
1171         margin-right: auto;
1172 }
1173
1174 /* Small for tables and similar */
1175 .small, .small * {
1176         font-size: 94%;
1177 }
1178 table.small {
1179         font-size: 100%;
1180 }
1181
1182 /* Edge Cases for Content */
1183 #content h1, #content h2 {
1184         margin-bottom: .6em;
1185 }
1186 #content h3, #content h4, #content h5 {
1187         margin-bottom: .3em;
1188 }
1189 #firstHeading {
1190         margin-top: 0;
1191         padding-top: 0;
1192         margin-bottom: 0.1em;
1193         line-height: 1.2em;
1194         padding-bottom: 0;
1195 }
1196 #content a.external,
1197 #content a[href ^="gopher://"] {
1198         background: url(images/external-link-ltr-icon.png) center right no-repeat;
1199         padding: 0 13px;
1200 }
1201 .rtl #content a.external,
1202 .rtl #content a[href ^="gopher://"] {
1203         background-image: url(images/external-link-rtl-icon.png);
1204 }
1205 #content a[href ^="https://"],
1206 .link-https {
1207         background: url(images/lock-icon.png) center right no-repeat;
1208         padding: 0 18px;
1209 }
1210 #content a[href ^="mailto:"],
1211 .link-mailto {
1212         background: url(images/mail-icon.png) center right no-repeat;
1213         padding: 0 18px;
1214 }
1215 #content a[href ^="news://"] {
1216         background: url(images/news-icon.png) center right no-repeat;
1217         padding: 0 18px;
1218 }
1219 #content a[href ^="ftp://"],
1220 .link-ftp {
1221         background: url(images/file-icon.png) center right no-repeat;
1222         padding: 0 18px;
1223 }
1224 #content a[href ^="irc://"],
1225 #content a.extiw[href ^="irc://"],
1226 .link-irc {
1227         background: url(images/talk-icon.png) center right no-repeat;
1228         padding: 0 18px;
1229 }
1230 #content a.external[href $=".ogg"], #content a.external[href $=".OGG"],
1231 #content a.external[href $=".mid"], #content a.external[href $=".MID"],
1232 #content a.external[href $=".midi"], #content a.external[href $=".MIDI"],
1233 #content a.external[href $=".mp3"], #content a.external[href $=".MP3"],
1234 #content a.external[href $=".wav"], #content a.external[href $=".WAV"],
1235 #content a.external[href $=".wma"], #content a.external[href $=".WMA"],
1236 .link-audio {
1237         background: url("images/audio-icon.png") center right no-repeat;
1238         padding: 0 18px;
1239 }
1240 #content a.external[href $=".ogm"], #content a.external[href $=".OGM"],
1241 #content a.external[href $=".avi"], #content a.external[href $=".AVI"],
1242 #content a.external[href $=".mpeg"], #content a.external[href $=".MPEG"],
1243 #content a.external[href $=".mpg"], #content a.external[href $=".MPG"],
1244 .link-video {
1245         background: url("images/video-icon.png") center right no-repeat;
1246         padding: 0 18px;
1247 }
1248 #content a.external[href $=".pdf"], #content a.external[href $=".PDF"],
1249 #content a.external[href *=".pdf#"], #content a.external[href *=".PDF#"],
1250 #content a.external[href *=".pdf?"], #content a.external[href *=".PDF?"],
1251 .link-document {
1252         background: url("images/document-icon.png") center right no-repeat;
1253         padding: 0 18px;
1254 }
1255 .rtl #content a.external {
1256         background-position: left;
1257         padding-right: 0;
1258 }
1259 .rtl #panel a.feedlink {
1260         background-position: right;
1261         padding-right: 16px;
1262         padding-left: 0;
1263 }
1264 .ltr #content a.external {
1265         padding-left: 0;
1266 }
1267
1268 /* Interwiki Styling  (Disabled) */
1269 #content a.extiw,
1270 #content a.extiw:active {
1271         color: #36b;
1272         background: none;
1273         padding: 0;
1274 }
1275 #content a.external {
1276         color: #36b;
1277 }
1278 #content .plainlinks a {
1279         /* this can be used in the content area to switch off special external link
1280          * styling */
1281         background: none !important;
1282         padding: 0 !important;
1283 }
1284 #content .printfooter {
1285         display: none;
1286 }