3,897
edits
Changes
Jump to navigation
Jump to search
more experiments
.large { font-size: 24pt; }
/* new color names, based on proposal by thala, to replace first ... fourth eventually */
.arg1 { font-family:monospace; font-size: 10pt; background-color: #cfefff} .arg2 { font-family:monospace; font-size: 10pt; background-color: #b2f2b2} .arg3 { font-family:monospace; font-size: 10pt; background-color: #f8bfbf} .arg4 { font-family:monospace; font-size: 10pt; background-color: #efef98} .arg5 { font-family:monospace; font-size: 10pt; background-color: #bfc4ee} .arg6 { font-family:monospace; font-size: 10pt; background-color: #f5deb3} .arg7 { font-family:monospace; font-size: 10pt; background-color: #e4bfe4}
.doc1 { background-color: white; border-color: #cfefff; border-left-width:2; border-style:solid;} .doc2 { background-color: white; border-color: #b2f2b2; border-left-width:2; border-style:solid;} .doc3 { background-color: white; border-color: #f8bfbf; border-left-width:2; border-style:solid;} .doc4 { background-color: white; border-color: #efef98; border-left-width:2; border-style:solid;} .doc5 { background-color: white; border-color: #bfc4ee; border-left-width:2; border-style:solid;} .doc6 { background-color: white; border-color: #f5deb3; border-left-width:2; border-style:solid;} .doc7 { background-color: white; border-color: #e4bfe4; border-left-width:2; border-style:solid;}
span.minor {
