
body {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Microsoft YaHei", Roboto, sans-serif;
    font-size: 16px;
    line-height: 1.7; 
    color: #2c3e50;   
    background-color: #fdfdfd; 
    margin: 15px;
    max-width: 800px; 
}


.entry {
    background-color: #fff;
    padding: 20px;
    border-radius: 12px;       
    box-shadow: 0 4px 12px rgba(0,0,0,0.05); 
    margin-bottom: 20px;
    border: 1px solid #eee;
}



b {
    color: #0056b3; 
    font-weight: 700;
}



u {
    text-decoration: none;
    border-bottom: 2px solid #ffcc00; 
    padding-bottom: 1px;
    color: #333;
}


i {
    font-family: Georgia, "Times New Roman", serif; 
    color: #7f8c8d;
    font-style: italic;
    font-size: 0.95em;
}


.seq {
    display: inline-block;
    color: #e67e22; 
    font-weight: bold;
    margin-right: 4px;
    font-family: Consolas, monospace; 
}



.ex-tag {
    display: inline-block;
    background-color: #e8f4f8; 
    color: #0077cc;            
    font-size: 0.75em;
    padding: 2px 6px;
    border-radius: 4px;
    margin-right: 6px;
    vertical-align: 1px;
    font-weight: bold;
    transform: translateY(-1px);
}



br {
    content: ""; 
    margin: 0.5em; 
    display: block; 
    font-size: 20%; 
}


a {
    color: #0056b3;
    text-decoration: none;
    border-bottom: 1px dotted #0056b3;
}
a:hover {
    background-color: #eef;
}


.ex-block {
    margin-top: 8px;
    margin-bottom: 8px;
    padding: 10px 12px;
    background-color: #f8f9fa; 
    border-left: 4px solid #4db6ac; 
    border-radius: 0 4px 4px 0;
    font-size: 0.95em;
    color: #444;
}


.ex-tag {
    display: inline-block;
    background-color: #4db6ac;
    color: white;
    font-size: 0.75em;
    padding: 2px 6px;
    border-radius: 4px;
    margin-right: 8px;
    font-weight: bold;
    vertical-align: text-bottom;
}

.ex-item {
    display: block;
    margin-bottom: 6px;
    padding-bottom: 6px;
    border-bottom: 1px dashed #e0e0e0; 
}


.ex-item:last-child {
    border-bottom: none;
    margin-bottom: 0;
    padding-bottom: 0;
}

/* Text/CSS version of the not ... because scope diagram. No bitmap image needed. */
.scope-visual {
    margin: 14px 0 16px;
    padding: 10px 8px;
    background: #ffffff;
    border: 1px solid #eeeeee;
    border-radius: 8px;
    overflow-x: auto;
}
.scope-table {
    width: 100%;
    min-width: 620px;
    border-collapse: collapse;
    table-layout: fixed;
    font-family: Georgia, "Times New Roman", "Microsoft YaHei", serif;
    color: #222;
}
.scope-table td {
    border: none;
    padding: 4px 6px;
    vertical-align: middle;
}
.scope-words td {
    font-size: 1.08em;
    line-height: 1.35;
    padding-bottom: 10px;
    white-space: nowrap;
}
.scope-col-main { width: 34%; }
.scope-col-because { width: 18%; text-align: center; }
.scope-col-clause { width: 34%; }
.scope-label-head { width: 14%; }
.scope-yes {
    text-align: center;
    font-size: 2.15em;
    line-height: 1.05;
    font-family: Georgia, "Times New Roman", serif;
    color: #111;
}
.scope-neg {
    height: 34px;
    text-align: center;
}
.scope-neg span {
    display: block;
    height: 8px;
    margin: 12px auto 10px;
    width: 78%;
    background: #111;
    border-radius: 1px;
}
.scope-neg-wide span {
    width: 92%;
}
.scope-label {
    white-space: nowrap;
    font-size: 1.08em;
    color: #111;
    font-family: "Microsoft YaHei", -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}
@media (max-width: 520px) {
    .scope-table { min-width: 560px; }
    .scope-words td { font-size: 1em; }
    .scope-yes { font-size: 1.9em; }
    .scope-label { font-size: 1em; }
}

/* Entry headword block: makes the headword occupy its own line. */
.entry-head {
    display: block;
    margin: 0 0 12px 0;
    padding: 0 0 8px 0;
    border-bottom: 1px solid #e8eef5;
    color: #0056b3;
    font-size: 1.28em;
    line-height: 1.35;
    font-weight: 700;
}
.entry-head b {
    color: #0056b3;
    font-weight: 700;
}
.entry > h1 {
    display: block;
    margin: 0 0 12px 0;
    padding: 0 0 8px 0;
    border-bottom: 1px solid #e8eef5;
    color: #0056b3;
    font-size: 1.28em;
    line-height: 1.35;
    font-weight: 700;
}
