diff --git a/src/style.css b/src/style.css new file mode 100644 index 000000000..594891ef7 --- /dev/null +++ b/src/style.css @@ -0,0 +1,3 @@ +body{font:13px Verdana} +label{-webkit-user-select:none;-moz-user-select:none} +textarea{white-space:pre;overflow-wrap:normal;overflow-x:scroll}