MediaWiki:Common.css: Difference between revisions

From NovaOrdis Knowledge Base
Jump to navigation Jump to search
No edit summary
No edit summary
Line 8: Line 8:
   color: DarkSlateGray;
   color: DarkSlateGray;
   padding: 2px;
   padding: 2px;
   background-color: #FEFEFE;
   background-color: #FCFCFC;
   border-color: Gainsboro;
   border-color: Gainsboro;
   font-size: 77%;
   font-size: 77%;
}
}

Revision as of 07:31, 30 April 2021

/* CSS placed here will be applied to all skins */
.mw-highlight pre {
	font-size: 90%;
}
/* <code> tag rendering */
code {
  font-family: Consolas,"menlo";
  color: DarkSlateGray;
  padding: 2px;
  background-color: #FCFCFC;
  border-color: Gainsboro;
  font-size: 77%;
}