diff options
-rw-r--r-- | static/style.css | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/static/style.css b/static/style.css index a302ea8..5a5e3ea 100644 --- a/static/style.css +++ b/static/style.css @@ -294,15 +294,6 @@ a.btn { border: none; } -/* - * Preformatted text, which probably won't be used much on this site? - */ -pre { - background-color: rgb(240, 240, 240); - padding: 0.3rem; - overflow-x: scroll; -} - /* * .need-connection is the content that should actually display when we are * connected via WebSocket. The JavaScript would change display from none to |