MediaWiki:Common.css: Difference between revisions

Revision as of 22:25, 30 October 2019

/* CSS placed here will be applied to all skins */
pre, code {
  font-family: 'DejaVu Sans Mono','Iosevka','PragmataPro','APL385 Unicode','SImPL medium','SImPL','Menlo',monospace;
  line-height: 2.3ex;	
}
kbd {
	border: 0.25ex solid currentcolor;
    padding: 0 0.5ex;
    border-radius: 0.5ex;
    box-shadow: 0 0.125ex 0 0 currentcolor;
    font-family: unset;
}
a.external[href^="https://tryapl.org/?a="], a.external[href^="https://tio.run/##SyzI0"] {
  margin-bottom: -3em;
  display: block;
}
.worksin:hover, a.external[href^="https://tryapl.org/?a="]:hover, a.external[href^="https://tio.run/##SyzI0"]:hover {
	opacity:1;
}
.worksin, a.external[href^="https://tryapl.org/?a="], a.external[href^="https://tio.run/##SyzI0"] {
  position: relative;
  text-align: right;
  right: 1ex;
  font-size: smaller;
  opacity: 0.6;
}
.worksin {
  margin-top: -3em;
}
.pi-title{
	text-align: center;
	font-weight: bold;
}
.pi-data-label {
	flex:none;
	width:110px;
}
.pi-data {
    border-bottom-style: none;
}
.c td {
  text-align: center;
}
#f-poweredbyico,#footer-poweredbyico{
	visibility: hidden;
	position: absolute;
}