MediaWiki:Common.css: Difference between revisions

Revision as of 13:02, 19 September 2019

/* CSS placed here will be applied to all skins */
@font-face {
  font-family: 'APL385 Unicode';
  src: local("APL385 Unicode"),
    url('//github.com/rikedyp/APLCourse/raw/master/assets/apl385-webfont.woff2') format('woff2'),
    url('//github.com/rikedyp/APLCourse/raw/master/assets/apl385-webfont.woff') format('woff'),
    url('//github.com/rikedyp/APLCourse/raw/master/assets/Apl385.otf'),
    url('//github.com/rikedyp/APLCourse/raw/master/assets/apl385-webfont.ttf');
}
pre.apl{
  font-family: 'APL385 Unicode';
  line-height: 2.4ex;	
}
code.apl {
  font-family: 'APL385 Unicode';
  line-height: 2.4ex;	
}
.worksin {
  position: relative;
  text-align: right;
  margin-top: -3em;
  right: 1ex;
  font-size: smaller;
  opacity: 0.5;
}
.worksin:hover{
	opacity:1;
}
#f-poweredbyico,#footer-poweredbyico{
	visibility: hidden;width:0;
}