Default for docs_path + heading

index.php

@@ -326,7 +326,11 @@ if ($homepage && $homepage_url !== '/') {
                                 </div>
                             <?php } else { ?>
                                 <div class="page-header">
-                                    <h1><?php echo $page['title'];?></h1>
+                                    <h1><?php echo $page['title'];?>
+                                        <?php if($options["file_editor"]) { ?>
+                                            <a href="javascript:;" id="editThis" class="btn">Edit this page</a>
+                                        <?php } ?>
+                                    </h1>
                                 </div>
                             <?php } ?>
                             <?php echo $page['html'];?>

libs/functions.php

@@ -35,6 +35,7 @@ function get_options() {
 		'tagline' => false,
 		'image' => false,
 		'theme' => 'blue',
+		'docs_path' => 'docs',
 		'date_modified' => true,
 		'float' => true,
 		'repo' => false,