Adjust CSS on playground

pull/219/head
yhirose 2 years ago
parent a2c058d47a
commit 5e9ca02b3c
  1. 2
      docs/index.html
  2. 7
      docs/style.css

@ -23,7 +23,7 @@
<div id="code-info" class="editor-info"></div> <div id="code-info" class="editor-info"></div>
</div> </div>
<div class="editor-container"> <div class="editor-container">
<ul class="editor-header"> <ul class="editor-header right-align">
<li class="option"><span><input id="packrat" type="checkbox"><label>Packrat</label></span></li> <li class="option"><span><input id="packrat" type="checkbox"><label>Packrat</label></span></li>
<li class="option"><span><input id="auto-refresh" type="checkbox"><label>Auto Refresh</label><button id="parse" class="parse">Parse</button></span></li> <li class="option"><span><input id="auto-refresh" type="checkbox"><label>Auto Refresh</label><button id="parse" class="parse">Parse</button></span></li>
</ul> </ul>

@ -42,6 +42,9 @@ body {
.editor-header > li.validation-indicator { .editor-header > li.validation-indicator {
margin-left: auto; margin-left: auto;
} }
.editor-header.right-align {
margin-left: auto;
}
.editor-validation { .editor-validation {
padding: 9px 11px; padding: 9px 11px;
color: green; color: green;
@ -75,10 +78,14 @@ body {
.option { .option {
margin-right: 12px; margin-right: 12px;
} }
.option:last-child {
margin-right: 0;
}
.option > span > * { .option > span > * {
margin-right: 8px; margin-right: 8px;
} }
.option .parse { .option .parse {
cursor: pointer; cursor: pointer;
padding: 9px 11px; padding: 9px 11px;
margin-right: 0;
} }

Loading…
Cancel
Save