Difference between revisions of "MediaWiki:Geshi.css"

From The Official Visionaire Studio: Adventure Game Engine Wiki
Line 16: Line 16:
 
.lua.source-lua .de1, .lua.source-lua .de2 {
 
.lua.source-lua .de1, .lua.source-lua .de2 {
 
     color: #333;
 
     color: #333;
     margin: 20px 0 0 0;
+
     margin: 0 0 0 0;
     font: normal normal 14px Bitstream Vera Sans Mono,monospace;
+
    font-family: monospace, vrinda !important;
 +
     font-size: 14px;
 
}
 
}
 
.lua.source-lua {
 
.lua.source-lua {
 
     list-style-type: decimal;
 
     list-style-type: decimal;
 
     list-style-position: outside;
 
     list-style-position: outside;
     font-size: 14px;
+
    font-family: monospace, vrinda !important;
 +
     font-size: 15px;
 
}
 
}
 
.lua.source-lua .li1, .lua.source-lua .li2  {
 
.lua.source-lua .li1, .lua.source-lua .li2  {
Line 44: Line 46:
 
   
 
   
 
.lua.source-lua .sy0 {  
 
.lua.source-lua .sy0 {  
     color: #555;
+
     /*color: #555;*/
 +
    color: yellow;
 
}
 
}
 
   
 
   

Revision as of 04:05, 7 March 2013

/* Fix so <source> tags get normal text size also in some
   versions of Firefox, Safari, Konqueror, Chrome etc.
   See http://en.wikipedia.org/wiki/MediaWiki_talk:Common.css/Archive_11#Section_break._Teletype_style_fix */
 
div.mw-geshi div {
    font-family: monospace, vrinda !important;
    font-size: 15px;
}
 
#content div.mw-geshi pre {
    font-family: monospace, vrinda;
    font-size: 15px;
}

/* lua */
.lua.source-lua .de1, .lua.source-lua .de2 {
    color: #333;
    margin: 0 0 0 0;
    font-family: monospace, vrinda !important;
    font-size: 14px;
}
.lua.source-lua {
    list-style-type: decimal;
    list-style-position: outside;
    font-family: monospace, vrinda !important;
    font-size: 15px;
}
.lua.source-lua .li1, .lua.source-lua .li2  {
    color: orange;
    border-left: 1px solid darkgrey;
    background: #f0f0f0;
}
.lua.source-lua .kw1 { 
    color: #0d8bca;
    font-weight: bold;
}
 
.lua.source-lua .co1, .lua.source-lua .coMULTI { 
    color: #888;
    font-weight: normal;
}
 
.lua.source-lua .nu0 { 
    color: red;
}
 
.lua.source-lua .sy0 { 
    /*color: #555;*/
    color: yellow;
}
 
.lua.source-lua .st0 { 
    color: #008000;
}
 
.lua.source-lua .br0 { 
    color: #555;
}