3,897
edits
Changes
Jump to navigation
Jump to search
width: 100%;
margin: 0;
no edit summary
*/
.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 { 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-bottom: 1px solid #cfefff; border-left: 20px solid #cfefff; }
.doc2 { background-color: white; border-bottom: 1px solid #b2f2b2; border-left: 20px solid #b2f2b2; }
.doc3 { background-color: white; border-bottom: 1px solid #f8bfbf; border-left: 20px solid #f8bfbf; }
.doc4 { background-color: white; border-bottom: 1px solid #efef98; border-left: 20px solid #efef98; }
.doc5 { background-color: white; border-bottom: 1px solid #bfc4ee; border-left: 20px solid #bfc4ee; }
.doc6 { background-color: white; border-bottom: 1px solid #f5deb3; border-left: 20px solid #f5deb3; }
.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: #36b; text-decoration: none; font-style: italic;}
a.cmdinst:active { color: #872222; text-decoration: none; font-style: italic;}
a.cmdvalue:link { color: #872222; text-decoration: none; font-style: italic;}
a.cmdvalue:visited { color: #872222; text-decoration: none; font-style: italic;}
a.cmdvalue:hover { color: #36b; text-decoration: none; font-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: 30%;
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-left: solid 8px #872222;
}
/* Change background color of buttons on hover */
button.tablinks:hover {
background-color: #ddd;
}
/* Create an active/current "tab button" class */
button.tablinks.active {
background-color: #ccc;
color: black;
}
/* Style the tab content */
.contextxmlform {
margin-left: 10px;
display: none;
}
#shortdescform {
margin-left: 10px;
display: block;
}
h1.command {
font-family:monospace;
font-weight: bold;
font-size: xx-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 20200629https://lists.contextgarden.net/pipermail/wiki/2020/000112.html*/
.mw-parser-output a.external:link { color: #872222; text-decoration: none;}
.mw-parser-output a.external:visited { color: #872222; text-decoration: none;}
a:link { color: #872222; text-decoration: none;}
a:visited { color: #872222; text-decoration: none;}
a:hover { color: #36b; text-decoration: none;} */ œa:active { color: #872222; text-decoration: none;}
a.external:link { color: #872222; text-decoration: none;}
a.external:visited { color: #872222; text-decoration: none;}
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:visited { color: red; text-decoration: none;}
a.new:hover { color: red; text-decoration: none;}
a.new:active { color: red; text-decoration: none;}
/* Specific to vector */
.mw-body { border: 1px solid #c18e8e; border-right-width:0; margin-top:-1px }
.vectorTabs li {
grid-template-columns: 100px 100px 100px 100px 100px ;
grid-gap: 1.5rem;
justify-content: space-betweenevenly;
list-style: none;
padding: 1rem;
box-shadow: 0px 5px 8px rgba(0,0,0,.25);
height: stretch;
width=: 100px;
border-bottom: solid 4px #872222;
height: stretch;
list-style: none;
display: grid;
grid-template-columns: 7em 7em 7em 7em 7em 7em 7em 7emrepeat(auto-fit, 100px); grid-gap: 0.2em 01.2em5em; justify-content: space-betweenevenly;
overflow: hidden;
padding: 1em 0px;
margin: 0;
}
font-size: 75%;
padding: 0.1rem 0.1rem;
border-radius: 8px;
border: solid 2px #872222;
width: 100px;
}
grid-template-columns: repeat(auto-fit, minmax(15em, 29em));
grid-gap: 1.9em;
justify-content: space-betweenevenly;
list-style: none;
padding: 0px;
grid-template-columns: repeat(auto-fit, minmax(15em, 29em));
grid-gap: 1.9em;
justify-content: space-betweenevenly;
list-style: none;
padding: 0px;
grid-template-columns: repeat(auto-fit, minmax(15em, 19em));
grid-gap: 1.4em;
justify-content: space-betweenevenly;
list-style: none;
padding: 0px;
