User:JAL3/monobook.css

Note: After publishing, 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: Press Ctrl-F5.

var {
    font-style: normal;
    font-family: "Times New Roman", Times, serif;
    font-size: 1.1em;
    color: #601010;
}

var.term {
    text-transform: none;
    font-style: italic;
    font-family: sans-serif;
    font-size: 1.0em;
    color: #000;
}

var.product {
    color: black;
    font-family: sans-serif;
    font-style: italic;
    font-size: 1.0em;
}

p.syntax {
    font-family: "Consolas", "Courier New", Courier, monospace;
    font-size: 13.97px;
    line-height: 15.37px;
}


p.code, p.output {
    font-family: "Consolas", "Courier New", Courier, monospace;
    font-size: 13.33px;
    line-height: 14.67px;
}


p.syntax span.literal {
    font-style: normal;
    font-family: "Consolas", "Courier New", Courier, monospace;
    font-weight: normal;
    color: #601010;
}

p.syntax span.term {
    font-style: italic;
    font-family: "Consolas", "Courier New", Courier, monospace;
    color: #000;
}



p.syntax2 {
    color: #000;
    background-color: #f9f9f9;
    padding: 5px 5px 5px 10px;
    border: 1px dashed #4169E1;
    font-family: "Courier New", Courier, monospace;
    font-size: 12.7px;
    line-height: 13.97px;
    vertical-align: baseline;
    white-space: pre; 
}

p.syntax2 span.literal {
    font-style: normal;
    font-family: "Courier New", Courier, monospace;
    font-weight: normal;
    color: #601010;
}

p.syntax2 span.term {
    font-style: italic;
    font-family: "Courier New", Courier, monospace;
    color: #000;
}


p.syntax3 {
    color: #000;
    background-color: #f9f9f9;
    padding: 5px 5px 5px 10px;
    border: 1px dashed #4169E1;
    font-family: "Lucida Sans Typewriter", monospace;
    font-size: 12.7px;
    line-height: 13.97px;
    vertical-align: baseline;
    white-space: pre; 
}

p.syntax3 span.literal {
    font-style: normal;
    font-family: "Lucida Sans Typewriter", monospace;
    font-weight: normal;
    color: #601010;
}

p.syntax3 span.term {
    font-style: italic;
    font-family: "Lucida Sans Typewriter", monospace;
    color: #000;
}

p.syntax4 {
    color: #000;
    background-color: #f9f9f9;
    padding: 5px 5px 5px 10px;
    border: 1px dashed #4169E1;
    font-family: "Lucida Console", monospace;
    font-size: 12.7px;
    line-height: 13.97px;
    vertical-align: baseline;
    white-space: pre; 
}

p.syntax4 span.literal {
    font-style: normal;
    font-family: "Lucida Console", monospace;
    font-weight: normal;
    color: #601010;
}

p.syntax4 span.term {
    font-style: italic;
    font-family: "Lucida Console", monospace;
    color: #000;
}


.syntaxTable th {
    font-style: italic;
}

.syntaxTable th var {
    font-style: normal;
    font-family: sans-serif;
}

code {
    font-family: "Consolas", "Courier New", Courier, monospace;
    font-size: 1.05em;