MediaWiki:Common.css: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
Miraheze>Adám Brudzewsky
No edit summary
Miraheze>Adám Brudzewsky
(adjust "APL Wiki" under logo)
Line 67: Line 67:
     font-size: x-large;
     font-size: x-large;
     font-family: codefont;
     font-family: codefont;
     margin-top: -1em;
     margin-top: -1ex;
}
}
#f-poweredbyico,#footer-poweredbyico{
#f-poweredbyico,#footer-poweredbyico{

Revision as of 10:27, 5 November 2019

/* CSS placed here will be applied to all skins */
@font-face {
  font-family: "codefont";
  src: local("DejaVu Sans Mono"),
       local("APL385 Unicode"),
       local("SImPL"),
       url(https://static.miraheze.org/aplwikiwiki/8/8b/DejaVuSansMono_0.ttf) format('truetype');
}
pre, code {
	font-family: "codefont",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;
}
th > .selflink {
    font-weight: bolder;
}
a.external[href^="https://aplwiki."] {
    background: none;
    padding-right: 0;
}
a.external[href^="https://tryapl.org/?a="],
a.external[href^="https://tio.run/##SyzI0"],
a.external[href^="https://repl.it/repls/"],
a.external[href^="https://n9n.gitlab.io/apl/web/"][href*="#code="],
.worksin {
	position: relative;
	float: right;
	right: 1ex;
	font-size: smaller;
	opacity: 0.6;
	margin-top: 1em;
}
a.external[href^="https://tryapl.org/?a="]:hover,
a.external[href^="https://tio.run/##SyzI0"]:hover,
a.external[href^="https://repl.it/repls/"]:hover,
a.external[href^="https://n9n.gitlab.io/apl/web/"][href*="#code="]:hover,
.worksin:hover {
	opacity:1;
}
.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;
}
#p-logo::after {
    content: "APL Wiki";
    text-align: center;
    display: block;
    font-size: x-large;
    font-family: codefont;
    margin-top: -1ex;
}
#f-poweredbyico,#footer-poweredbyico{
	visibility: hidden;
	position: absolute;
}