From d9f087639d9460c3fc9773a1a25bd494d525f77a Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Thu, 27 Feb 2020 14:28:51 -0800
Subject: [PATCH] webapps.planet: some css cleanup.

---
 extra/webapps/planet/planet-common.xml |  9 ++++++-
 extra/webapps/planet/planet.css        | 33 +++++++++++++++++---------
 extra/webapps/planet/planet.xml        |  2 +-
 3 files changed, 31 insertions(+), 13 deletions(-)

diff --git a/extra/webapps/planet/planet-common.xml b/extra/webapps/planet/planet-common.xml
index 239c9571a5..9919c5c768 100644
--- a/extra/webapps/planet/planet-common.xml
+++ b/extra/webapps/planet/planet-common.xml
@@ -4,6 +4,8 @@
 
 	<t:style t:include="resource:extra/webapps/planet/planet.css" />
 
+    <div id="container">
+
 	<div class="navbar">
 		<t:a t:href="$planet">Front Page</t:a>
 		<t:a t:href="$planet/feed.xml">Atom Feed</t:a>
@@ -15,11 +17,16 @@
 			</t:if>
 	
 			<t:button t:action="$login-realm/logout" t:aside="begin" class="link-button link">Logout</t:button>
-		</t:if>
+        </t:if>
+        <div style="float: right;">
+            <a href="https://factorcode.org"><b>factorcode.org</b></a>
+        </div>
 	</div>
 
+    <div class="page">
 	<h1><t:write-title /></h1>
 
         <t:call-next-template />
+    </div>
 
 </t:chloe>
diff --git a/extra/webapps/planet/planet.css b/extra/webapps/planet/planet.css
index ea7b7d896c..97fa5123af 100644
--- a/extra/webapps/planet/planet.css
+++ b/extra/webapps/planet/planet.css
@@ -1,30 +1,41 @@
+#container {
+    max-width: 1000px;
+}
+
+.page {
+    padding-left: 15px;
+    padding-right: 15px;
+    padding-bottom: 15px;
+}
+
 h1.planet-title {
-	font-size:300%;
+	font-size: 300%;
 }
 
 .posting-title {
+    padding: 10px;
 	background-color:#f5f5f5;
 }
 
 pre, code {
-	color:#000000;
-	font-size:120%;
+	color: #000000;
+	font-size: smaller;
 }
 
 .infobox {
-	border-left: 1px solid #C1DAD7;
+    padding-left: 10px;
 }
 
 .posting-date {
 	text-align: right;
-	font-size:90%;
+	font-size: 90%;
 }
 
 a.more {
-	display:block;
-	padding:0 0 5px 0;
-	color:#333;
-	text-decoration:none;
-	text-align:right;
-	border:none;
+	display: block;
+	padding: 0 0 5px 0;
+	color: #333;
+	text-decoration: none;
+	text-align: right;
+	border: none;
 }
diff --git a/extra/webapps/planet/planet.xml b/extra/webapps/planet/planet.xml
index c7c124d23c..86f41a3a1a 100644
--- a/extra/webapps/planet/planet.xml
+++ b/extra/webapps/planet/planet.xml
@@ -6,7 +6,7 @@
 
 	<t:title>[ planet-factor ]</t:title>
 
-	<table width="100%" cellpadding="10">
+    <table width="100%">
 		<tr>
 			<td>