MediaWiki:Common.css: Difference between revisions

From NovaOrdis Knowledge Base
Jump to navigation Jump to search
No edit summary
No edit summary
Line 9: Line 9:
   background-color: #f1f1f1;
   background-color: #f1f1f1;
   padding: 1px;
   padding: 1px;
   font-size: -1;
   font-size: 80%;
}
}

Revision as of 07:11, 30 April 2021

/* CSS placed here will be applied to all skins */
.mw-highlight pre {
	font-size: 90%;
}

code {
  font-family: Consolas,"menlo";
  color: lightslategray;
  background-color: #f1f1f1;
  padding: 1px;
  font-size: 80%;
}