#296 Made the graph resizable. Not quite perfect, and fails at small sizes, but can be tweaked later when we are embedding.