type/css/main.css

74 lines
956 B
CSS

/* General */
.error {
border: 1px solid red;
border-radius: 3px;
background-color: rgba(255, 0, 0, 0.5);
padding: 5px;
font-size: 2em;
font-family: "Helvetica", Arial, sans-serif;
}
/* Type */
.invalid {
background-color: red;
color: white !important;
}
.incomplete {
color: gray !important;
}
#editor {
display: none;
width: 100%;
height: 100%;
}
#toolbar {
position: absolute;
left: 0;
top: 0;
width: 100%;
padding: 7px;
height: 20px;
}
#toolbar > #info {
float: right;
margin-right: 14px;
}
#toolbar > #info > #paused {
font-weight: bold;
}
#content {
margin-top: 33px;
}
#content.paused > .CodeMirror {
opacity: 0.5;
}
/* Index */
.prev-list {
padding: 0px;
margin: 0px;
}
.prev-list > li {
display: inline-block;
width: 48%;
list-style: none;
margin: 5px;
padding: 5px;
border: #CCC 1px solid;
border-radius: 3px;
}
.prev-list > li > a,
.prev-list > li > a:visited {
text-decoration: none;
color: blue;
}