Dashboard updates

This commit is contained in:
Henrique Dias 2017-07-07 20:00:32 +01:00
parent ba7c3d4234
commit af369cdea1
No known key found for this signature in database
GPG key ID: 936F5EB68D786730
10 changed files with 536 additions and 127 deletions

View file

@ -6,7 +6,7 @@
}
#editor .CodeMirror {
border: 1px solid #dddddd;
box-shadow: rgba(0, 0, 0, 0.06) 0px 1px 3px, rgba(0, 0, 0, 0.12) 0px 1px 2px;
margin: 2em 0;
border-radius: .5em;
}