Difference between revisions of "MediaWiki:Geshi.css"

From HL7 IPS
Jump to: navigation, search
(Created page with "pre, .mw-code { color: black !important; background-color: #f9f9f9 !important; border: 1px solid #ddd !important; padding: 1em !important; white-space: pre-wrap !imp...")
 
 
Line 9: Line 9:
 
   margin-bottom: 1em !important;
 
   margin-bottom: 1em !important;
 
   margin-left: 0px !important;
 
   margin-left: 0px !important;
 +
}
 +
/* Gehsi div classes */
 +
div.mw-geshi {
 +
  margin: 1em 0;
 +
  border: 1px solid #7777FF;
 +
  text-align: left;
 +
  padding:10px 10px;
 +
  clear: both;
 +
  background-color: #DDDDFF;
 +
  font-size: 1.1em;
 +
}
 +
div.mw-geshi-error {
 +
  margin: 1em 0;
 +
  border: 1px solid #FF7777;
 +
  text-align: left;
 +
  padding:10px 10px;
 +
  clear: both;
 +
  background-color: #FFDDDD;
 +
  font-size: 1.1em;
 +
}
 +
div.mw-geshi-valid {
 +
  margin: 1em 0;
 +
  border: 1px solid #77FF77;
 +
  text-align: left;
 +
  padding:10px 10px;
 +
  clear: both;
 +
  background-color: #DDFFDD;
 +
  font-size: 1.1em;
 +
}
 +
.mw-highlight pre {
 +
font-size: 80%;
 
}
 
}

Latest revision as of 18:25, 17 July 2017

pre, .mw-code {
  color: black !important;
  background-color: #f9f9f9 !important;
  border: 1px solid #ddd !important;
  padding: 1em !important;
  white-space: pre-wrap !important;
  margin-top: 1em !important;
  margin-right: 0px !important;
  margin-bottom: 1em !important;
  margin-left: 0px !important;
}
/* Gehsi div classes */
div.mw-geshi {
  margin: 1em 0; 
  border: 1px solid #7777FF;
  text-align: left; 
  padding:10px 10px;
  clear: both;
  background-color: #DDDDFF;
  font-size: 1.1em;
}
div.mw-geshi-error {
  margin: 1em 0; 
  border: 1px solid #FF7777;
  text-align: left; 
  padding:10px 10px;
  clear: both;
  background-color: #FFDDDD;
  font-size: 1.1em;
}
div.mw-geshi-valid {
  margin: 1em 0; 
  border: 1px solid #77FF77;
  text-align: left; 
  padding:10px 10px;
  clear: both;
  background-color: #DDFFDD;
  font-size: 1.1em;
}
.mw-highlight pre {
	font-size: 80%;
}