From 024de10ed24b7f596504ff1de38881ed53fca132 Mon Sep 17 00:00:00 2001 From: Arya Kiran Date: Sat, 10 Dec 2022 21:26:09 +0530 Subject: [PATCH] add changes from blog stylesheet --- media/style.css | 30 +++++++++++++++++++++++++++++- 1 file changed, 29 insertions(+), 1 deletion(-) diff --git a/media/style.css b/media/style.css index d20d128..34a7a58 100644 --- a/media/style.css +++ b/media/style.css @@ -43,7 +43,14 @@ h3 { font-size:1.1em; } size:75%; } .h a[aria-hidden] { display:none; } -pre { tab-size:4; } +pre { + tab-size:4; + background: #20232a; + color: #969ba6; + border: 1px solid lightgrey; + padding: 5px; + tab-size:4; +} .red { color:#ff6c6b; } .green { color:#98be65; } input[type=submit] { @@ -67,3 +74,24 @@ ul[userlist] li[online]::before { ul[userlist] li[online$=true]::before { color:#98be65; } textarea { background-color: #282c34; color: #bbc2cf; } input { background-color: #282c34; color: #bbc2cf; } +#TOC { + border: 1px solid; + position: relative; +} +#TOC:before { + border-bottom: 1px solid; + content: 'Table of Contents'; + display: block; + font-weight: bold; + padding: 5px; + position: relative; +} +.date { + //color: grey; + display: block; + font-family: monospace; + margin-top: 1em; + overflow: hidden; + white-space: nowrap; + width: 16ch; +}