/* 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 */
/* the following is tuned for the haiku theme */
.frozen {
    color: #0c3762;         /* haiku title color */    
    text-align:right;       /* place notice text on the right border */
    padding-top: 1.5em;     /* move the text below the page title */
    margin-bottom: -4.5em;  /* overlap the header with the page title block */
    
    font-size:0.65em;
    font-weight:bold;    
    font-style:italic;
}