Browse Source

[notebook] Increase the right margin of the snippets

Johan Ahlen 10 years ago
parent
commit
1706959e25

+ 2 - 0
desktop/libs/notebook/src/notebook/static/notebook/css/notebook.css

@@ -102,10 +102,12 @@ body {
 
 .result-body {
   margin-left: 35px;
+  margin-right: 20px;
 }
 
 .snippet-body {
   margin-left: 35px;
+  margin-right: 20px;
   z-index: 90;
   min-height: 40px;
 }

+ 1 - 1
desktop/libs/notebook/src/notebook/templates/editor_components.mako

@@ -371,7 +371,7 @@ ${ require.config() }
 
         <div class="inactive-action hover-actions inline"><span data-bind="editable: name, editableOptions: { emptytext: '${_ko('Untitled')}', mode: 'inline', enabled: true, placement: 'right' }" style="border:none;"></span></div>
 
-        <div class="hover-actions inline pull-right" style="font-size: 15px;">
+        <div class="hover-actions inline pull-right" style="font-size: 15px;margin-right:18px">
           <a class="inactive-action" href="javascript:void(0)" data-bind="visible: status() != 'ready' && status() != 'loading' && errors().length == 0, click: function() { $data.showLogs(! $data.showLogs()); window.setTimeout(redrawFixedHeaders, 100); }, css: {'blue': $data.showLogs}" title="${ _('Show Logs') }"><i class="fa fa-file-text-o"></i></a>
           <span class="execution-timer" data-bind="visible: type() != 'text' && status() != 'ready' && status() != 'loading', text: result.executionTime().toHHMMSS()"></span>
           <a class="inactive-action move-widget" href="javascript:void(0)"><i class="fa fa-arrows"></i></a>