3,897
edits
Changes
Jump to navigation
Jump to search
m
adjusted argument colors in syntax descriptions
*/
.first { background-color:#7FDFDFcfefff; } .second { background-color:#7FDF7Fb2f2b2; } .third { background-color:#DF7F7Ff8bfbf; } .fourth { background-color:#DFDF5Fefef98; }
.cmd { font-family:monospace; font-size: 10pt; }
.annot { font-family:sans-serif; margin-top:1cm; }
.large { font-size: 24pt; }
/* new color names, based on proposal by thala, to replace first ... fourth eventually */
.arg1 { background-color: #cfefff}
.arg2 { background-color: #b2f2b2}
.arg3 { background-color: #f8bfbf}
.arg4 { background-color: #efef98}
.arg5 { background-color: #bfc4ee}
.arg6 { background-color: #f5deb3}
.arg7 { background-color: #e4bfe4}
span.minor {
