MediaWiki:Common.css: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m .page-Main_Page .firstHeading { display:none; } |
RichardCook (talk | contribs) No edit summary |
||
(22 intermediate revisions by 2 users not shown) | |||
Line 81: | Line 81: | ||
display:none; | 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;} |
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;}