From 590b7de5f2b7297722623d583a9b066d9afa8aa6 Mon Sep 17 00:00:00 2001
From: eli173 <eli@eli173.com>
Date: Sat, 29 Aug 2015 23:59:15 -0500
Subject: [PATCH] changed default labeling

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 96b6c5e..3afc1d1 100644
--- a/index.html
+++ b/index.html
@@ -30,10 +30,10 @@
     <div id="formatter">
       Formatter<br/>
       <input type="radio" name="idolbl"
-	     id="idlblid">
+	     id="idlblid" checked="checked">
       <label for="idlblid">Use automatically generated IDs</label><br/>
       <input type="radio" name="idolbl"
-	     id="idlbllbl" checked="checked">
+	     id="idlbllbl">
       <label for="idlbllbl">Use user-given labels</label><br/>
       <button id="fmt">Get representation</button><br/>
       <textarea name="results" id="results" rows="10" cols="50" style="display:none"></textarea>
-- 
2.39.2