/*
Some special stuff execlusively for the toplevel pages.
This comes after inclusion of loka.css.
Still need loka.css at toplevel, because others include it for consistency.
*/
h2 { font-size: medium; font-style: normal; font-weight: bold; margin-top: 0; margin-bottom: 1ex }
li { margin-top: 0; margin-bottom: 0; margin-left: 1ex }
ul { margin-left: 1ex }