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