- div.lyxtoc-3 { margin: 0em 0em 0em 0.5em; font-size: medium; }
- div.lyxtoc-4 { margin: 0em 0em 0em 0.5em; }
- div.lyxtoc-5 { margin: 0em 0em 0em 0.5em; }
- div.lyxtoc-6 { margin: 0em 0em 0em 0.5em; }
+ div.lyxtoc-3 { margin: 0em 0.1em 0em 0.5em; font-size: medium; }
+ div.lyxtoc-4 { margin: 0em 0.1em 0em 0.5em; }
+ div.lyxtoc-5 { margin: 0em 0.1em 0em 0.5em; }
+ div.lyxtoc-6 { margin: 0em 0.1em 0em 0.5em; }