1 files changed, 46 insertions, 0 deletions

diff --git a/main.css b/main.css
index 47caf21..9800493 100644
--- a/main.css
+++ b/main.css
@@ -160,3 +160,49 @@ pre pre {
 .cmd-box a, .cmd-box a.external, .cmd-box a.external:visited {
 	color: white;
 }
+
+ul#preftoc {
+	display: block;
+	height: 2em;
+}
+
+ul#preftoc li {
+	float: left;
+	list-style-type: none;
+	margin-right: 1em;
+}
+
+ul#preftoc li a {
+	display: block;
+	text-decoration: none;
+	border-radius: 2px;
+	padding: .5em;
+	padding-top: .25em;
+	padding-bottom: .25em;
+}
+
+ul#preftoc li.selected a {
+	background-color: #54487a;
+	color: white;
+}
+
+div#preferences {
+	clear: both;
+	margin-top: 2em;
+	border: 1px solid #EEE;
+	border-radius: 4px;
+	padding: 1em;
+}
+
+div#preferences .mainLegend {
+	font-family: 'Bitter', sans-serif;
+	font-size: 1.5em;
+}
+
+div#preferences legend {
+	font-size: 1.2em;
+}
+
+div#preferences table td {
+	padding: 4px;
+}
\ No newline at end of file