#app{font-family:Avenir,Helvetica,Arial,sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-align:center;color:#2c3e50}nav{padding:30px}nav a{font-weight:700;color:#2c3e50}nav a.router-link-exact-active{color:#42b983}.router-link-active[data-v-e34dd40a],a[data-v-e34dd40a]{text-decoration:none;color:#000}.text-4[data-v-5b3eca36]{font-size:16px;font-weight:200;padding:5px}.format[data-v-5b3eca36]{display:flex;flex-direction:row;justify-items:start}.format-details[data-v-5b3eca36]{padding-top:80px;padding-left:20px;display:flex;flex-direction:column;justify-items:start;align-items:flex-start;color:green}.highlight[data-v-5b3eca36]{color:red}.name[data-v-5b3eca36]{color:#8294c4}.text-border[data-v-5b3eca36]{padding:20px;border:1px solid #8294c4;border-radius:5px;display:flex;flex-direction:column;align-items:flex-start;font-size:16px;font-weight:200;color:gray;background-color:#f2f6ff}.text-3[data-v-5b3eca36]{padding:5px}.list-tutorial[data-v-5b3eca36]{display:flex;flex-direction:row;justify-items:start}.text[data-v-5b3eca36]{padding-top:10px;padding-bottom:20px;font-size:18px;font-weight:300}.text-2[data-v-5b3eca36]{padding-bottom:15px;font-size:16px;font-weight:300}.content[data-v-5b3eca36]{display:flex;flex-direction:row;justify-content:space-between}.right-content[data-v-5b3eca36]{width:100%;display:flex;flex-direction:column;justify-content:start;align-items:start;padding-left:100px}.boolean-avatar[data-v-5b3eca36]{background-color:#acb1d6;color:#fff;font-weight:400}.float-avatar[data-v-5b3eca36],.integer-avatar[data-v-5b3eca36]{background-color:#8294c4;color:#fff;font-weight:600}.category-avatar[data-v-5b3eca36]{background-color:#acb1d6;color:#fff;font-weight:600}.Tag[data-v-5b3eca36]{width:180px;display:flex;flex-direction:row;justify-content:end}.chosen[data-v-5b3eca36]{background-color:rgba(0,0,1,.05)}.details[data-v-5b3eca36]{width:100%;padding-top:20px}.option-down[data-v-5b3eca36]{padding:20px;background-color:#fff;display:flex;flex-direction:row}.option-form[data-v-5b3eca36]{width:400px;padding-right:30px}.integer-float-value[data-v-5b3eca36]{display:flex;flex-direction:row;align-items:center;justify-content:space-between}.category-add[data-v-5b3eca36],.checkboxs[data-v-5b3eca36]{display:flex;flex-direction:row}.checkboxs[data-v-5b3eca36]{justify-content:start;padding-bottom:20px}.boolean-avatar[data-v-16c70b46]{background-color:#acb1d6;color:#fff;font-weight:400}.float-avatar[data-v-16c70b46],.integer-avatar[data-v-16c70b46]{background-color:#8294c4;color:#fff;font-weight:600}.category-avatar[data-v-16c70b46]{background-color:#acb1d6;color:#fff;font-weight:600}.boolean-avatar[data-v-137f49e2]{background-color:#acb1d6;color:#fff;font-weight:400}.float-avatar[data-v-137f49e2],.integer-avatar[data-v-137f49e2]{background-color:#8294c4;color:#fff;font-weight:600}.category-avatar[data-v-137f49e2]{background-color:#acb1d6;color:#fff;font-weight:600}.and-avatar[data-v-137f49e2],.implies-avatar[data-v-137f49e2],.not-avatar[data-v-137f49e2],.or-avatar[data-v-137f49e2],.same-avatar[data-v-137f49e2]{background-color:#bface2;color:#fff;font-weight:400}.title-font[data-v-137f49e2]{padding-left:10px;font-weight:300;font-size:16px;padding-top:10px}.highlight[data-v-f1d4b8a0]{color:red}.name[data-v-f1d4b8a0]{color:#8294c4}.text[data-v-f1d4b8a0]{padding-top:10px;padding-bottom:20px;font-size:18px;font-weight:300}.content[data-v-f1d4b8a0]{display:flex;flex-direction:row;justify-content:space-between}.right-content[data-v-f1d4b8a0]{width:100%;display:flex;flex-direction:column;justify-content:start;align-items:start;padding-left:100px}.collapse-panel-detail[data-v-f1d4b8a0]{display:flex;flex-direction:column;align-items:flex-start}.text-code-exp[data-v-f1d4b8a0]{color:#8294c4;font-size:16px;font-weight:500}.text-4[data-v-f1d4b8a0]{font-size:16px;font-weight:200;padding:5px}.format[data-v-f1d4b8a0]{display:flex;flex-direction:row;justify-items:start}.format-details[data-v-f1d4b8a0]{padding-top:200px;padding-left:20px;display:flex;flex-direction:column;justify-items:start;align-items:flex-start;color:green}.text-border[data-v-f1d4b8a0]{padding:20px;border:1px solid #8294c4;border-radius:5px;display:flex;flex-direction:column;align-items:flex-start;font-size:16px;font-weight:200;color:gray;background-color:#f2f6ff}.text-3[data-v-f1d4b8a0]{padding:5px}.list-right[data-v-f1d4b8a0]{display:flex;flex-direction:column}.content[data-v-5a04ca50]{display:flex;flex-direction:row;justify-content:space-between}.right-content[data-v-5a04ca50]{width:100%;display:flex;flex-direction:column;justify-content:start;align-items:start;padding-left:100px}.text[data-v-5a04ca50]{padding-top:10px;padding-bottom:20px;font-size:18px;font-weight:300}.option-down[data-v-063bf680]{padding:20px;background-color:#fff;display:flex;flex-direction:row}.option-form[data-v-063bf680]{width:360px;padding-right:30px}.text[data-v-063bf680]{padding-top:10px;padding-bottom:20px;font-size:18px;font-weight:300}.content[data-v-063bf680]{display:flex;flex-direction:row;justify-content:space-between}.right-content[data-v-063bf680]{width:100%;display:flex;flex-direction:column;justify-content:start;align-items:start;padding-left:100px}.text-4[data-v-063bf680]{font-size:16px;font-weight:200;padding:5px}.format[data-v-063bf680]{display:flex;flex-direction:row;justify-items:start}.format-details[data-v-063bf680]{padding-top:200px;padding-left:20px;display:flex;flex-direction:column;justify-items:start;align-items:flex-start;color:green}.text-border[data-v-063bf680]{padding:20px;border:1px solid #8294c4;border-radius:5px;display:flex;flex-direction:column;align-items:flex-start;font-size:16px;font-weight:200;color:gray;background-color:#f2f6ff}.text-3[data-v-063bf680]{padding:5px}.integer-float-value[data-v-063bf680]{display:flex;flex-direction:row;align-items:center;justify-content:space-between}.checkboxs[data-v-063bf680]{display:flex;flex-direction:row;justify-content:start;padding-bottom:20px}.list-tutorial[data-v-063bf680]{display:flex;flex-direction:row;justify-items:start}.Tag[data-v-063bf680]{width:180px;display:flex;flex-direction:row;justify-content:end}.boolean-avatar[data-v-063bf680]{background-color:#acb1d6;color:#fff;font-weight:400}.integer-avatar[data-v-063bf680]{background-color:#8294c4;color:#fff;font-weight:600}.category-avatar[data-v-063bf680]{background-color:#acb1d6;color:#fff;font-weight:600}.chosen[data-v-063bf680]{background-color:rgba(0,0,1,.05)}.details[data-v-063bf680]{width:100%;padding-top:20px}.home-menu[data-v-4229459e]{padding-left:300px;padding-bottom:30px}body,html{width:100%;height:100%}input::-ms-clear,input::-ms-reveal{display:none}*,:after,:before{box-sizing:border-box}html{font-family:sans-serif;line-height:1.15;-webkit-text-size-adjust:100%;-ms-text-size-adjust:100%;-ms-overflow-style:scrollbar;-webkit-tap-highlight-color:rgba(0,0,0,0)}body{margin:0}[tabindex="-1"]:focus{outline:none}hr{box-sizing:content-box;height:0;overflow:visible}h1,h2,h3,h4,h5,h6{margin-top:0;margin-bottom:.5em;font-weight:500}p{margin-top:0;margin-bottom:1em}abbr[data-original-title],abbr[title]{-webkit-text-decoration:underline dotted;text-decoration:underline;text-decoration:underline dotted;border-bottom:0;cursor:help}address{margin-bottom:1em;font-style:normal;line-height:inherit}input[type=number],input[type=password],input[type=text],textarea{-webkit-appearance:none}dl,ol,ul{margin-top:0;margin-bottom:1em}ol ol,ol ul,ul ol,ul ul{margin-bottom:0}dt{font-weight:500}dd{margin-bottom:.5em;margin-left:0}blockquote{margin:0 0 1em}dfn{font-style:italic}b,strong{font-weight:bolder}small{font-size:80%}sub,sup{position:relative;font-size:75%;line-height:0;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}code,kbd,pre,samp{font-size:1em;font-family:SFMono-Regular,Consolas,Liberation Mono,Menlo,Courier,monospace}pre{margin-top:0;margin-bottom:1em;overflow:auto}figure{margin:0 0 1em}img{vertical-align:middle;border-style:none}[role=button],a,area,button,input:not([type=range]),label,select,summary,textarea{touch-action:manipulation}table{border-collapse:collapse}caption{padding-top:.75em;padding-bottom:.3em;text-align:left;caption-side:bottom}button,input,optgroup,select,textarea{margin:0;color:inherit;font-size:inherit;font-family:inherit;line-height:inherit}button,input{overflow:visible}button,select{text-transform:none}[type=reset],[type=submit],button,html [type=button]{-webkit-appearance:button}[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner,button::-moz-focus-inner{padding:0;border-style:none}input[type=checkbox],input[type=radio]{box-sizing:border-box;padding:0}input[type=date],input[type=datetime-local],input[type=month],input[type=time]{-webkit-appearance:listbox}textarea{overflow:auto;resize:vertical}fieldset{min-width:0;margin:0;padding:0;border:0}legend{display:block;width:100%;max-width:100%;margin-bottom:.5em;padding:0;color:inherit;font-size:1.5em;line-height:inherit;white-space:normal}progress{vertical-align:baseline}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{outline-offset:-2px;-webkit-appearance:none}[type=search]::-webkit-search-cancel-button,[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{font:inherit;-webkit-appearance:button}output{display:inline-block}summary{display:list-item}template{display:none}[hidden]{display:none!important}mark{padding:.2em;background-color:#feffe6}