MediaWiki:Common.css

From Event-B
Revision as of 11:43, 13 November 2008 by imported>Mathieu
Jump to navigationJump to search

Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
/* CSS placed here will be applied to all skins */
/* Standard Navigationsleisten, aka box hiding thingy from .de.  Documentation at [[Wikipedia:NavFrame]]. */
 
div.Boxmerge,
div.NavFrame {
    margin: 0;
    padding: 4px;
    border: 1px solid #aaa;
    text-align: center;
    border-collapse: collapse;
    font-size: 95%;
}
div.Boxmerge div.NavFrame {
    border-style: none;
    border-style: hidden;
}
div.NavFrame + div.NavFrame {
    border-top-style: none;
    border-top-style: hidden;
}
div.NavPic {
    background-color: #fff;
    margin: 0;
    padding: 2px;
    float: left;
}
div.NavFrame div.NavHead {
    height: 1.6em;
    font-weight: bold;
    background-color: #ccf;
    position:relative;
}
div.NavFrame p {
    font-size: 100%;
}
div.NavFrame div.NavContent {
    font-size: 100%;
}
div.NavFrame div.NavContent p {
    font-size: 100%;
}
div.NavEnd {
    margin: 0;
    padding: 0;
    line-height: 1px;
    clear: both;
}
a.NavToggle {
    position: absolute;
    top: 0;
    right: 3px;
    font-weight: normal;
    font-size: 90%;
}
.greyheader { 
 background:#F0F0F0;
 margin:0;
 font-size:120%;
 font-weight:bold;
 border:1px solid #a3b0bf; 
 text-align:left;
 color:#000;
 padding:.15em .4em;
}

.greyframe { 
 border:1px solid #AAA;
 background:#fcfcfc;
 vertical-align:top;
 padding:7px;
 margin-bottom:.6em;
}

.main_page_frame_link { 
 text-align:right;
 margin-right:.5em;
 font-size:xx-small;
}

.page-Main_Page .firstHeading {
 display:none;
}

div.typesetIcon {
 display:inline;
}

div.typesetIcon table {
 border:1px solid #aaaaaa;
 display:inline-block;
 display:inline-table;
 display:inline;
 vertical-align:middle;
}

div.typesetIcon td {
 vertical-align:middle;
 height:18px;
}