User:Sunjammer/common.css: Difference between revisions
Jump to navigation
Jump to search
(Created) |
(No difference)
|
Revision as of 12:46, 19 November 2017
/* Fix font size for osiris and pre */
.osiris, code, pre {
font-size: 10pt !important;
}