MediaWiki:Common.css: Difference between revisions

Revision as of 12:46, 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';
  background: #EBF4FA;
  border: 1px solid silver;
  line-height: 2.4ex;	
}
code .apl {
  font-family: 'APL385 Unicode';
  line-height: 2.4ex;	
  border: none;
}
.worksin {
	margin-top:-2em; border:1px solid silver;border-top:none; font-size: smaller; background: #EBF4FA; width:100%; text-align:center
}
#f-poweredbyico,#footer-poweredbyico{
	visibility: hidden;
}