diff --git a/polly/www/content.css b/polly/www/content.css index 549b2a99ece8..1294af71748b 100644 --- a/polly/www/content.css +++ b/polly/www/content.css @@ -24,7 +24,7 @@ h1, h2, h3, tt { color: #000 } h1 { padding-top:0px; margin-top:0px;} h2 { color:#333333; padding-top:0.5em; } -h3 { padding-top: 0.5em; margin-bottom: -0.25em; color:#2d58b7} +h3 { padding-top: 0.5em; color:#2d58b7} li { padding-bottom: 0.5em; } ul { padding-left:1.5em; } diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl index 46bdcdc1d72c..8b53de3a71a2 100644 --- a/polly/www/menu.html.incl +++ b/polly/www/menu.html.incl @@ -21,6 +21,7 @@ Optimizations Contributors TODO ChangeLog + Open Projects