Difference between revisions of "MediaWiki:Geshi.css"

From The Official Visionaire Studio: Adventure Game Engine Wiki
Line 11: Line 11:
 
     font-family: monospace, vrinda;
 
     font-family: monospace, vrinda;
 
     font-size: 15px;
 
     font-size: 15px;
 +
}
 +
 +
/* lua */
 +
.lua.source-lua .de1, .lua.source-lua .de2 {
 +
    color: #333;
 +
    margin: 0 0 0 0;
 +
    font: normal normal 13px Bitstream Vera Sans Mono,monospace;
 +
}
 +
.lua.source-lua {
 +
    list-style-type: decimal;
 +
    list-style-position: outside;
 +
    font-size: 13px;
 +
}
 +
.lua.source-lua .li1 {
 +
    color: #0d8bca;
 +
    border-left: 1px solid #d1d9fd;
 +
    background: #f1f9fd;
 +
}
 +
.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;
 +
}
 +
 +
.lua.source-lua .st0 {
 +
    color: #008000;
 +
}
 +
 +
.lua.source-lua .br0 {
 +
    color: #555;
 
}
 
}

Revision as of 04:36, 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: normal normal 13px Bitstream Vera Sans Mono,monospace;
}
.lua.source-lua {
    list-style-type: decimal;
    list-style-position: outside;
    font-size: 13px;
}
.lua.source-lua .li1 {
    color: #0d8bca;
    border-left: 1px solid #d1d9fd;
    background: #f1f9fd;
}
.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;
}
 
.lua.source-lua .st0 { 
    color: #008000;
}
 
.lua.source-lua .br0 { 
    color: #555;
}