svg head

pdf-compile.py

@@ -63,8 +63,18 @@ if ooooo_insert:
 	for graph in graphs[1:]:
 		graph=graph.split('"""')[-2]
 		dot = requests.post(e2hprocessor,graph.encode('utf-8'))
+		dot = dot.text
+		dot = dot.split('edge [penwidth="5"];')[1]
+		head='''
+		digraph ""{
+		viewport="2700";
+		bgcolor="transparent";
+		node [shape="circle", margin="0.01", target="_blank", style="filled", width="1.5"];
+		edge [penwidth="5"];
+		'''
+		dot=head+dot
 		with open('dot/'+str(oooooc)+'.dot','w') as file:
-			file.write(dot.text)
+			file.write(dot)
 		graph = pygraphviz.AGraph('dot/'+str(oooooc)+'.dot')
 		graph.layout(prog="dot")
 		graph.draw(localgs+str(oooooc)+'.svg')