body.learning #tocframe { background-color: #407f40; }
body.notation #tocframe { background-color: #40657f; }
body.learning #tocframe { background-color: #407f40; }
body.notation #tocframe { background-color: #40657f; }
body.extending #tocframe { background-color: #7f4040; }
body.internals #tocframe { background-color: #6a407f; }
body.contributor #tocframe { background-color: #333333; }
body.extending #tocframe { background-color: #7f4040; }
body.internals #tocframe { background-color: #6a407f; }
body.contributor #tocframe { background-color: #333333; }