table.ab{
border-collapse: separate;
border-spacing: 8px 8px ;
width: 100%;
}
td.ab{
padding:2px;
border:1px solid grey;
width: 40%;
}
td.know{
padding:2px;
border:1px dashed black;
width: 10%;
vertical-align: top;
}
.button{
background-color:#555555; 
color:white;
margin-left: 4px; 
margin-right: 4px;
border-style: double; 
border:1px solid color-mix(in oklab,var(--code-inline) 50%,#888);
padding:.0625em .125em;
border-radius:.2em;
}
.button:hover{
color:var(--button-hover-text-color);
background-color:var(--button-hover-background);
}
em.cmd{
font-family:var(--font-monospace);
font-style:normal;
}
strong {
font-weight:normal;
font-style:italic;
font-family:serif;
}
strong.op {
font-weight:normal;
font-style:normal;
font-family:serif;
}
div.inter {
padding:8px;
}
span.inter{
border:1px solid color-mix(in oklab,var(--code-inline) 50%,#888);
background-color:white;
padding:.0625em .125em;
border-radius:.2em;
}
span.interhigh{
border:1px solid color-mix(in oklab,var(--code-inline) 50%,#888);
background-color:#1E90FF;
padding:.0625em .125em;
border-radius:.2em;
}
span.inter:hover{
color:var(--button-hover-text-color);
background-color:var(--button-hover-background);
}
span.scratch{
padding-left: 16px;
color:red;
}
ol.decimal{
list-style-type:decimal;
}
ol.decimal ol.alpha{
list-style-type:lower-alpha;
}
table.var th{
text-align:left;
border:1px solid black;
column-width: 120px;
}
table.var td{
text-align:center;
border:1px solid black;
column-width: 40px;
}
th.inout{
text-align:left;
text-weight:bold;
}