h3 { margin-bottom: 1.2em; margin-top: 1.2em; }

ul.formal { list-style-type: none; padding: 0; }
ul.formal > li { margin-bottom: 1.5rem; }
ul.formal > li p { margin: 0.2rem; }
ul.formal > li > h3 { margin-bottom: 0.2em; }

p.name  { font-size: 130%;    }
p.title { font-weight: bold;  }

dt { font-size: 0.7em ; /* to override default 0.8em, see main.css */ }

pre { white-space: pre-wrap; /* css-3 */ }

dd pre { max-width: 60em; margin: 0; /* font-size: 90%; */ font-family: Verdana; font-size-adjust: 0.55; font-size: 0.6em; }

#abstract-xhtml { margin-right: 4em; }
#abstract-xhtml p { margin-bottom: 1em; }


input[ class^="privilege-" ] { display: none; }

/* toggle possible options depending on 'iacarc' privilege */
input.privilege-iacarc:enabled:not(:checked) ~ .hold-iacarc { display: none  ; }
input.privilege-iacarc:enabled:checked       ~ .lack-iacarc { display: none  ; }