MediaWiki:Common.css: Difference between revisions

Latest revision as of 08:31, 1 May 2020

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

/* Classes for typesetting listings of event B */
.typeset-listing {
  font-family:monospace;
  margin-top: 0;
  border-top-width: 0;
  padding-top: 0;
  margin-bottom: 0;
  border-bottom-width: 0;
  padding-bottom: 0
}
p.typeset-l_clause { color:red; font-weight:bold;}
.typeset-l_comment { display:inline; color:grey; font-style:italic;margin-left:1em;}
p.typeset-l_end { color:red;font-weight:bold; }
p.typeset-l_evt_clause { color:blue;font-weight:bold;margin-left:1em; }
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;}
p.typeset-l_invariant { margin-left:1em;}
p.typeset-l_guard { margin-left:3em;}
p.typeset-l_action { margin-left:3em;}
p.typeset-l_param { margin-left:3em;}
p.typeset-l_witness { margin-left:3em;}
.typeset-l_event { color:green;font-weight:bold;margin-left:1em;}