From 931b27a04a5af60f297dd66288fd6163c277b181 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 29 Jun 2017 18:42:47 +1000 Subject: Reworked css for nav, pre, code tags, added some colour --- project/templates/grasp.html | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) (limited to 'project/templates/grasp.html') diff --git a/project/templates/grasp.html b/project/templates/grasp.html index 54e625a..c340483 100644 --- a/project/templates/grasp.html +++ b/project/templates/grasp.html @@ -52,18 +52,17 @@ uses a subset of the DOT graph description language for the file format, to enab as well as relatively easy conversion to a graph image. If a format that more readily converts to a comprehensible graph image is found, a parser for it may be added.

-

The above example is recorded as follows: +

The above example is recorded as follows:

- digraph { - 1 [label="puts"] - 2 [label="grasp:main"] - 3 [label="Hello world!"] - - 1 -> 2 [label="name"] - 1 -> 3 [label="in"] - } +digraph { + 1 [label="puts"] + 2 [label="grasp:main"] + 3 [label="Hello world!"] + + 1 -> 2 [label="name"] + 1 -> 3 [label="in"] +} -

Source code is available here.

-- cgit