3,897
edits
Changes
Jump to navigation
Jump to search
no edit summary
.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-colorbottom: 1px solid #cfefff; border-width:2; border-styleleft:20px solid#cfefff;} .doc2 { background-color: white; border-colorbottom: 1px solid #b2f2b2; border-width:2; border-styleleft:20px solid#b2f2b2;} .doc3 { background-color: white; border-colorbottom: 1px solid #f8bfbf; border-left: 20px solid #f8bfbf; } .doc4 { background-color: white; border-widthbottom:21px solid #efef98; border-styleleft:20px solid#efef98;} .doc4 doc5 { background-color: white; border-bottom: 1px solid #bfc4ee; border-left: 20px solid #bfc4ee; } .doc6 { background-color: #efef98white; border-widthbottom:21px solid #f5deb3; border-styleleft:20px solid#f5deb3;} .doc5 doc7 { background-color: white; border-bottom: 1px solid #e4bfe4; border-left: 20px solid #e4bfe4; } /* next three classes are generated by <syntax> */a.cmdref:link { color: #872222; text-decoration: none;} a.cmdref:visited { color: #872222; text-decoration: none;} a.cmdref:hover { color: #36b; text-decoration: none;} a.cmdref:active { color: #872222; text-decoration: none;} a.cmdinst:link { color: #872222; text-decoration: none; font-style: italic;} a.cmdinst:visited { color: #872222; text-decoration: none; font-style: italic;} a.cmdinst:hover { color: #bfc4ee36b; border text-widthdecoration:2none; borderfont-style:soliditalic;} a.cmdinst:active { color: #872222; text-decoration: none; font-style: italic;} a.doc6 cmdvalue:link { color: #872222; text-decoration: none; font-style: italic;} a.cmdvalue:visited { backgroundcolor: #872222; text-decoration: none; font-style: italic;} a.cmdvalue:hover { color: white#36b; text-decoration: none; borderfont-style: italic;} a.cmdvalue:active { color: #872222; text-decoration: none; font-style: italic;} span.iref span.arg1 { border: 5px solid #cfefff; }span.iref span.arg2 { border: 5px solid #b2f2b2; } span.iref span.arg3 { border: 5px solid #f8bfbf; } span.iref span.arg4 { border: 5px solid #efef98; } span.iref span.arg5 { border: 5px solid #bfc4ee; } span.iref span.arg6 { border: 5px solid #f5deb3; } span.iref span.arg7 { border: 5px solid #e4bfe4; } span.ireferror { background-color: red; } span.variantname::before { content: ' (';} span.variantname::after { content: ' variant)';} span.variantname { font-family:sans-serif; font-weight:normal; font-size: large;} /* Style the buttons that are used to open the tab content */ button.tablinks { display: block; background-color: transparent; padding: 5px 5px; width:230%; outline: none; text-align: left; cursor: pointer; font-size: 14pt; font-weight: bold; transition: 0.3s; margin-top: 0.70em; margin-bottom: 0.70em; padding-top: 0.5rem; padding-left: 0.5rem; border-bottom: none; border-styleleft:solid8px #872222; } /* Change background color of buttons on hover */ button.doc7 tablinks:hover { background-color: white#ddd; border } /* Create an active/current "tab button" class */ button.tablinks.active { background-color: #e4bfe4ccc; color: black; } /* Style the tab content */ .contextxmlform { margin-left: 10px; display: none; }#shortdescform { margin-left: 10px; display: block;}h1.command { font-family:monospace; border font-widthweight:2bold; border font-stylesize:solidxx-large;}
span.minor {
.mw-body-content li ul { margin-top: 0px; padding-top: 0px; margin-bottom: 0.5px; padding-bottom: 0.px;}
/*/ comment after feedback on mailing list 20200629
https://lists.contextgarden.net/pipermail/wiki/2020/000112.html*/
a.external:hover { color: #36b; text-decoration: none;}
a.external:active { color: #872222; text-decoration: none;}
a.new:link { color: red; text-decoration: none;}
a.new:hover { color: red; text-decoration: none;}
a.new:active { color: red; text-decoration: none;}
box-shadow: 0px 5px 8px rgba(0,0,0,.25);
height: stretch;
width=: 100px;
border-bottom: solid 4px #872222;
height: stretch;
