body, html {
padding: 0;
margin: 0;
border: 0;
}
h1 {
font: 24pt monospace;
background: #444444;
color: #ffffff;
margin: 0;
padding: 20px 0px 20px 10px;
border-bottom: 2px solid #cccccc;
}
#content-middle {
margin: 20px;
}
#dukweb-intro {
width: 100%;
color: #aaaaaa;
font-style: italic;
margin: 3ex 0 0 0;
padding: 0;
}
#dukweb-intro a {
color: #aaaaff;
font-style: italic;
}
#dukweb-intro a:visited {
color: #aaaaff;
font-style: italic;
}
#dukweb-intro a:hover {
color: #8888ff;
font-style: italic;
}
#dukweb-input-wrapper {
height: 20em;
border: 2px solid #cccccc;
border-radius: 5px;
margin: 3ex 0 0 0;
padding: 6px;
}
#dukweb-input {
border: none;
margin: 0;
padding: 0;
width: 100%;
height: 100%;
overflow: auto;
}
#dukweb-output {
height: 20em;
border: 2px solid #cccccc;
border-radius: 5px;
margin: 0;
padding: 6px;
overflow: auto;
}
#dukweb-output.error {
color: #ff0000;
font-weight: bold;
}
#dukweb-evaluate-wrapper {
margin: 3ex 0 3ex 0;
padding: 0;
width: 100%;
text-align: center;
}
#dukweb-evaluate {
color: #333333;
background: #eeeeff;
font-family: sans-serif;
font-size: 200%;
border: 2px solid #ccccff;
border-radius: 5px;
padding: 8px;
margin: 0;
}
#dukweb-evaluate:hover {
background: #f8f8ff;
cursor: pointer;
}
#dukweb-evaluate span {
}