less header margin than before

a2/tsp_local.py

@@ -301,7 +301,7 @@ def main():
             #axis_twin.legend()
 
         plt.tight_layout()
-        plt.subplots_adjust(top=0.85)
+        plt.subplots_adjust(top=0.92)
         pdf.savefig()
         plt.close()
         
@@ -314,7 +314,7 @@ def main():
             axes[i].set_ylabel("% of runs <= NEOS", color = 'b')
             
         plt.tight_layout()
-        plt.subplots_adjust(top=0.85)
+        plt.subplots_adjust(top=0.92)
         pdf.savefig()
         plt.close()
         
@@ -350,7 +350,7 @@ def main():
         axes[2].set_xticks([14, 15, 16])
             
         plt.tight_layout()
-        plt.subplots_adjust(top=0.85)
+        plt.subplots_adjust(top=0.92)
         pdf.savefig()
         plt.close()