/* This file contains special rulesets and overrides which 
   are required as part of the static XHTML5 build version 
   of the website. Created 2016-03-16 by MDH. */
   
/* Classes for the Appendix data, which is initially 
   visible, but hidden in favour of popup functionality 
   if you have JavaScript running. */
   
div.appendix{
    /*border-top: solid 1px grey;*/
    margin: 3em;
}

div.appendix div{
    margin-bottom: .5em;
}

div.appendix pre{
    font-family: monospace;
}

div.appendix h3, div.appendix h4{
    margin: 0.5em auto;
}

div.appendix ul{
    padding: 0 1em;
}

div.appendix div#thisDoc_sources h2{
    display: none;
}

/* General stuff which is currently ad-hoc and may be changed or dumped. */
span.abbr:before{
    content: "(";
}
span.abbr:after{
    content: ")";
}