updates on editor

Former-commit-id: 2928727a06a94c0ea87ed821a472ae662df803d1 [formerly 098bc4234803078aba013f6312d179158194fffb] [formerly d2bb681fe62ba87a29b9866e291fb975489cd3fc [formerly 3d25185a55]]
Former-commit-id: 288ccb95466fbd234d278886800e1d27c54fa8dd [formerly 78c473865b085e97cf435cb230e2afa85559aba0]
Former-commit-id: c5dc56f4d6198c9c306c01573e1a1af5f1827c3a
This commit is contained in:
Henrique Dias
2017-07-01 08:36:28 +01:00
parent 90ba8e18da
commit cc462c8bca
23 changed files with 246 additions and 137 deletions
+3 -3
View File
@@ -94,9 +94,9 @@ nav .action {
padding: .5em;
}
nav>div {
nav > .action:last-child,
nav > div {
border-top: 1px solid rgba(0, 0, 0, 0.05);
border-bottom: 1px solid rgba(0, 0, 0, 0.05);
}
nav .action>* {
@@ -123,4 +123,4 @@ main {
margin: 0;
padding: 0 1em;
}
}
}