MediaWiki:Common.css: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
Miraheze>Adám Brudzewsky
(allow more "try it" links)
Miraheze>Adám Brudzewsky
(use uploaded dejavu font)
Line 1: Line 1:
/* CSS placed here will be applied to all skins */
/* CSS placed here will be applied to all skins */
@font-face {
  font-family: "DejaVu Sans Mono";
  src: local("DejaVu Sans Mono"),
      url(https://static.miraheze.org/aplwikiwiki/8/8b/DejaVuSansMono_0.ttf);
}
pre, code {
pre, code {
font-family: 'DejaVu Sans Mono','Iosevka','PragmataPro','APL385 Unicode','SImPL medium','SImPL','Menlo',monospace;
font-family: "DejaVu Sans Mono",monospace;
line-height: 2.3ex;
line-height: 2.3ex;
}
}

Revision as of 01:26, 1 November 2019

/* CSS placed here will be applied to all skins */
@font-face {
  font-family: "DejaVu Sans Mono";
  src: local("DejaVu Sans Mono"),
       url(https://static.miraheze.org/aplwikiwiki/8/8b/DejaVuSansMono_0.ttf);
}
pre, code {
	font-family: "DejaVu Sans Mono",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://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;
}
#f-poweredbyico,#footer-poweredbyico{
	visibility: hidden;
	position: absolute;
}