MediaWiki:Common.css: Difference between revisions

Revision as of 10:23, 26 February 2009

/* 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.typeset-icon {
 display:inline;
 border:1px solid #aaaaaa;
}

div.typeset-button {
 display:inline;
 border:1px solid #aaaaaa;
}

/* Class for typesetting listings of event B */
p.typeset-l_clause {
 color:red;
 font-weight:bold;
}
p.typeset-l_component {
  color:black;font-weight:bold;margin-left:1em;
}
p.typeset-l_end { color:red;font-weight:bold; }
div.typeset-listing {  font-family:monospace;}
p.typeset-l_clause { color:red;font-weight:bold;}
p.typeset-l_component {color:black;font-weight:bold;margin-left:1em;}
div.typeset-l_label { display:inline; color:blue; margin-left:1em; margin-right:1em;}
p.typeset-l_variable { margin-left:1em;}