From 5e92e2ffe1fd21a0978887dcefc51c149d922215 Mon Sep 17 00:00:00 2001
From: Cory McWilliams <cory@unprompted.com>
Date: Mon, 14 Feb 2022 00:28:30 +0000
Subject: [PATCH] Minor HTML tweaks.

git-svn-id: https://www.unprompted.com/svn/projects/tildefriends/trunk@3841 ed5197a5-7fde-0310-b194-c3ffbd925b24
---
 core/index.html | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/core/index.html b/core/index.html
index 65c8d5f1..056c6fb2 100644
--- a/core/index.html
+++ b/core/index.html
@@ -5,7 +5,6 @@
 		<link type="text/css" rel="stylesheet" href="/static/style.css">
 		<link type="image/png" rel="shortcut icon" href="/static/favicon.png">
 		<meta name="viewport" content="width=device-width, initial-scale=1">
-		<!--HEAD-->
 	</head>
 	<body style="display: flex; flex-flow: column">
 		<div class="navigation">
@@ -36,9 +35,8 @@
 					<input type="button" id="revert" name="revert" value="Revert to Saved" onclick="revert()">
 				</div>
 				<div class="hbox" style="height: 100%">
-					<div id="filesPane">
-						<ul id="files">
-						</ul>
+					<div id="filesPane" style="flex: 1 1 10%">
+						<ul id="files"></ul>
 						<br>
 						<div><button onclick="newFile()">New File</button></div>
 						<div><button onclick="removeFile()">Remove File</button></div>
