Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
pre {
	border: solid 1px #3c78b5;
	padding: 0.4em;
	background-color: #f0f0f0;
}

.usermessage {
	background-color: #ffce7b;
}

table.diff {
 padding:.5em;
}
table.diff td { 
 vertical-align:top;
}
td.diff-addedline { 
 background:#D8E4F6; 
}
td.diff-addedline .diffchange {
 background:#B0C0F0;
 color:#001040;
 font-weight:bold;
}
td.diff-deletedline {
 background:#E4F6D8;
}
td.diff-deletedline .diffchange {
 background:#B0E897;
 color:#104000;
 font-weight:bold;
}
td.diff-context {
 background:#FEFEFE;
}