MediaWiki:Common.css: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu mNo edit summary |
imported>Mathieu mNo edit summary |
||
Line 112: | Line 112: | ||
p.typeset-l_guard { margin-left:2em;} | p.typeset-l_guard { margin-left:2em;} | ||
p.typeset-l_action { margin-left:2em;} | p.typeset-l_action { margin-left:2em;} | ||
.typeset-l_event { color:green;font-weight:margin-left:1em;} | .typeset-l_event { color:green;font-weight:bold;margin-left:1em;} |
Revision as of 13:57, 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; } /* 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:2em;} p.typeset-l_action { margin-left:2em;} .typeset-l_event { color:green;font-weight:bold;margin-left:1em;}