diff options
Diffstat (limited to 'styles')
| -rw-r--r-- | styles/editor-instance.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/styles/editor-instance.css b/styles/editor-instance.css index 7ae5727..cb3aa95 100644 --- a/styles/editor-instance.css +++ b/styles/editor-instance.css @@ -130,4 +130,19 @@ body { .statement-pointer { width: 10px; +} + +.button { + padding: 4px 6px; + background: #6D8A88; + border: none; + border-radius: 2px; + font-size: 12px; + margin: 6px; + text-align: center; +} + +.button:hover { + color: #eee; + background-color: #aaa; }
\ No newline at end of file |