have configure only look for bullet in /usr by default, --with-bullet=prefix switch overrides,

updated documentation

1 files changed, 7 insertions, 5 deletions

diff --git a/doc/main.css b/doc/main.css
index efcc412..68e4d6f 100644
--- a/doc/main.css
+++ b/doc/main.css
@@ -69,8 +69,8 @@ img {
  border-bottom: 1px solid #606060;
  border-left: 1px solid #606060;
  border-right: 1px solid #606060;
- margin-top: 24px;
- margin-bottom: 24px; 
+ margin-top: 16px;
+ margin-bottom: 16px; 
 }
 
 .header {
@@ -96,8 +96,9 @@ img {
 .title {
  background: #d7d7d7;
  margin-left: 24px;
- margin-right: 72px;
+ margin-right: 48px;
  padding: 4px;
+ padding-left: 8px;
  border-top: 1px solid #606060;
  border-bottom: 1px solid #606060;
  border-left: 1px solid #606060;
@@ -108,7 +109,7 @@ img {
 .subtitle {
  background: #e7e7e7;
  margin-left: 48px;
- margin-right: 72px;
+ margin-right: 48px;
  margin-top: 8px;
  margin-bottom: 8px;
  font-size: 12pt;
@@ -123,7 +124,7 @@ img {
 
 .text, .nav, .toolbox {
  margin-left: 48px;
- margin-right: 72px;
+ margin-right: 48px;
 }
 
 .text, .toolbox {
@@ -133,6 +134,7 @@ img {
  border-left: 1px solid #606060;
  border-right: 1px solid #606060;
  padding: 8px;
+ padding-left: 8px;
  margin-top: 8px;
  margin-bottom: 8px;
 }