Make border thicker and slightly round

asciinema · Jan 11, 2020 · c09126b · c09126b
1 parent 9ce80e4
commit c09126b
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 1 deletion.
diff --git a/figwheel_server.log b/figwheel_server.log
@@ -0,0 +1,7 @@
+Notifying browser that CSS file changed: resources/public/css/asciinema-player.css
+Compiling build :dev to "resources/public/js/dev.js" from ["src" "dev/cljs"]...
+[32mSuccessfully compiled build :dev to "resources/public/js/dev.js" in 1.103 seconds.[0m
+Notifying browser that CSS file changed: resources/public/css/asciinema-player.css
+Compiling build :dev to "resources/public/js/dev.js" from ["src" "dev/cljs"]...
+[32mSuccessfully compiled build :dev to "resources/public/js/dev.js" in 0.505 seconds.[0m
+Notifying browser that CSS file changed: resources/public/css/asciinema-player.css
diff --git a/src/less/partials/_player.less b/src/less/partials/_player.less
@@ -85,5 +85,6 @@
     -webkit-box-sizing: content-box;
     overflow: hidden;
     max-width: 100%;
+    border-radius: 4px;
   }
 }
diff --git a/src/less/partials/_terminal.less b/src/less/partials/_terminal.less
@@ -13,7 +13,7 @@
   border-radius: 0;
   border-style: solid;
   cursor: text;
-  border-width: 0.5em;
+  border-width: 0.75em;
 
   .terminal-font;