/* support for the strikeout text role defined in links.rst */
.strike {
  text-decoration: line-through;
}

/* entity to stop floating text around a thumbnail */
div.clear {
    clear: both
}

/* inline markup for user interface text */
span.guilabel {
    font-weight: bold;
}

/* fix the awkward vertical space before a sublist in a nested list */
ol li p {
    margin-block-end: 0pt;
}

/* fix the awkward vertical space before a sublist in a table of contents */
ul li p {
    margin-block-end: 0pt;
}

/* for banner noting the site is frozen and no longer updated; see header block in _templates/layout.html */
.frozen {
    text-align:center;    
    font-size:0.75em;
    font-weight:bold;    
    font-style:italic;
}