Don't use times by default

diff --git a/Doc/qua.tex b/Doc/qua.tex
index ec7aaefb76c6134680f96607a0a271c3d943635f..b90a921713988b882878f2a0155e02938d8fb480 100644 (file)
--- a/Doc/qua.tex
+++ b/Doc/qua.tex
@@ -1,4 +1,4 @@
-\documentstyle[11pt,times]{article}
+\documentstyle[11pt]{article}
 
 \title{
 Interactively Testing Remote Servers Using the Python Programming Language