MediaWiki:Common.css

From WeBWorK
Revision as of 14:17, 3 August 2008 by Sam (Talk | contribs)
Jump to: navigation, search

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 (Command-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (Command-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Konqueror: Click Reload or press F5
  • Opera: Clear the cache in Tools → Preferences
/** CSS placed here will be applied to all skins */
 
/* borrowed from WP */
.messagebox {
    border: 1px solid #aaa;
    background-color: #f9f9f9;
    width: 80%;
    margin: 0 auto 1em auto;
    padding: .2em;
}
 
#footer #f-list #privacy { display:none }
#footer #f-list #about { display:none }
#footer #f-list #disclaimer { display:none }
 
pre { font-size:110% }
code { font-size:110% }
 
/* For Problem Techniques */
.pt_desc {
    background-color: #eeeeee;
    border: black solid 1px;
    padding: 3px;
    font-style: italic;
}
table.pt tr {
    vertical-align: top;
}
tr.pt_head td.pt_code {
    background-color: #ffffdd;
    border: black 1px dashed;
}
tr.pt_head td.pt_exp {
    background-color: #ccccff;
    padding: 7px;
}
tr.pt_init td.pt_code {
    background-color: #ddffdd;
    border: black 1px dashed;
}
tr.pt_init td.pt_exp {
    background-color: #ccffcc;
    padding: 7px;
}
tr.pt_setup td.pt_code {
    background-color: #ffffdd;
    border: black 1px dashed;
}
tr.pt_setup td.pt_exp {
    background-color: #ffffcc;
    padding: 7px;
}
tr.pt_text td.pt_code {
    background-color: #ffdddd;
    border: black 1px dashed;
}
tr.pt_text td.pt_exp {
    background-color: #ffcccc;
    padding: 7px;
}
tr.pt_ans td.pt_code {
    background-color: #eeddff;
    border: black 1px dashed;
}
tr.pt_ans td.pt_exp {
    background-color: #eeccff;
    padding: 7px;
}
follow us