From b54a1c9686eec3c1114e9b58cb67679ba59c45bd Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@lukeshu.com>
Date: Wed, 14 Mar 2018 18:18:31 -0400
Subject: directories

---
 style.scss | 76 --------------------------------------------------------------
 1 file changed, 76 deletions(-)
 delete mode 100644 style.scss

(limited to 'style.scss')

diff --git a/style.scss b/style.scss
deleted file mode 100644
index 70747bd..0000000
--- a/style.scss
+++ /dev/null
@@ -1,76 +0,0 @@
-/* page layout */
-html {
-	height: 100%;
-}
-body {
-	font-size: 8px;
-	font-family: monospace;
-	height: 100%;
-	margin: 0;
-
-	display: flex;
-	flex-direction: row;
-	align-items: center;
-	& > * {
-		flex-direction: column;
-		align-items: center;
-		margin: auto;
-		& > * {
-			margin: auto;
-		}
-	}
-}
-* {
-	box-sizing: border-box;
-}
-/* diff styling */
-table.diff {
-	border-collapse: collapse;
-	td, th {
-		padding: 0;
-		white-space: nowrap;
-	}
-	.diff-del, .diff-del a { color: red; }
-	.diff-add, .diff-add a { color: green; }
-	.diff-dat, .diff-dat a { color: blue; }
-	.diff-ctx, .diff-ctx a { color: black; }
-}
-/* sortable styling */
-table.sortable {
-	border-collapse: collapse;
-	caption p {
-		margin: 0;
-	}
-	td, th {
-		padding: 0;
-		border: solid 1px black;
-		white-space: nowrap;
-	}
-	td {
-		background-color: #F3F3F3;
-	}
-}
-/* generic table interaction */
-table {
-	tr.invalid td {
-		background-color: #F30000 !important;
-	}
-	tr:hover a, tr.invalid:hover a {
-		background-color: #AAAAF3;
-	}
-	td a {
-		text-decoration: none;
-		padding: 0.1em 0.25em;
-		display: block;
-		width: 100%;
-		height: 100%;
-		color: black;
-	}
-}
-/* generic time formatting - for datetimes that we want to render as
-   just a date, but still want to be sortable, we a construct like
-   `<time>DATE<span class=time>TIME</span></time>`, then use this to
-   hide the TIME part of it. */
-time .time {
-	display: none
-}
-- 
cgit v1.2.3-54-g00ecf