MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
Miraheze>Adám Brudzewsky No edit summary |
Miraheze>Adám Brudzewsky No edit summary |
||
Line 18: | Line 18: | ||
} | } | ||
.worksin { | .worksin { | ||
border:#eaecf0; | border:1px solid #eaecf0; | ||
border-top:none; | border-top:none; | ||
margin-top:-2em; | margin-top:-2em; |
Revision as of 12:52, 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; border: none; } .worksin { border:1px solid #eaecf0; border-top:none; margin-top:-2em; font-size: smaller; background: #f8f9fa; width:100%; text-align:center } #f-poweredbyico,#footer-poweredbyico{ visibility: hidden;width:0; }