Difference between revisions of "MediaWiki:Common.css"

From Event-B
Jump to navigationJump to search
imported>Mathieu
 
imported>Mathieu
m (greyheader class)
Line 52: Line 52:
 
     font-weight: normal;
 
     font-weight: normal;
 
     font-size: 90%;
 
     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;
 
}
 
}

Revision as of 16:01, 27 October 2008

/* 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;
}