MediaWiki:Common.css
From AGI Wiki
Revision as of 15:07, 10 December 2013 by Andrew Branscom (talk | contribs)
Note: After saving, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
/* CSS placed here will be applied to all skins */ body { /*font-family: "Times New Roman", Times, serif;*/ /*font-size: 10pt;*/ line-height: 1.5em; /*text-align: justify;*/ } /*.captions { font-size: 9pt; color: #FFFFFF; line-height: 1.25em; background-color: #000000; }*/ .Tab { target-new: tab ! important } .syntaxhighlight { font-family: "Courier New", Courier, mono; font-size: medium; background-color: #FFFFEE; margin-right: 20px; margin-left: 20px; padding-top: 0px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px; border: 1px #CCCCCC solid } .Alert { color: #FF0000; } .DLInfo { font-family: Arial, Helvetica, sans-serif; font-size: 9px; } .Category { font-size: 14pt; font-weight: bold } .CodeBlockHeader { background-color: #CCCCCC; font-weight: bold; margin-right: 10px; margin-left: 10px; padding-top: 0px; padding-right: 5px; padding-bottom: 0px; padding-left: 5px; border: #CCCCCC; border-style: solid; } .CodeBlockStyle { font-family: "Courier New", Courier, mono; font-size: medium; background-color: #FFFFEE; line-height: 1.25em; margin-right: 10px; margin-left: 10px; padding-top: 0px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px; border: 1px #CCCCCC solid; } .CodeStyle { font-family: "Courier New", Courier, mono; font-size: 2; } .Inactive { color: #CCCCCC; } .Key{ color: #0000FF; } .SglQt { color: #FF6600; } .DblQt { color: #CC0033; } .Green{ color: #006633; } .Comment { font-style: italic; color: #000080 /* #009900 */; background-color: #00FFFF } .Int { color: #000099; } .Op { color: #006633; }