2013-03-12 03:02:30 +01:00
|
|
|
.reset {
|
|
|
|
padding: 0px;
|
|
|
|
margin: 0px;
|
|
|
|
}
|
|
|
|
|
2013-03-12 00:14:20 +01:00
|
|
|
body, html {
|
2013-03-12 03:02:30 +01:00
|
|
|
height: 100%;
|
2013-03-14 02:13:23 +01:00
|
|
|
color: #000000;
|
2013-03-12 03:02:30 +01:00
|
|
|
font-family: monospace;
|
|
|
|
.reset;
|
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
|
|
|
color: #DCDCDC;
|
2013-03-10 20:30:49 +01:00
|
|
|
}
|
|
|
|
|
2013-03-12 03:02:30 +01:00
|
|
|
h1 {
|
|
|
|
text-align: center;
|
|
|
|
.reset;
|
|
|
|
}
|
2013-03-10 20:30:49 +01:00
|
|
|
|
2013-03-12 00:14:20 +01:00
|
|
|
.repl {
|
|
|
|
width: 49.9%;
|
|
|
|
height: 90%;
|
2013-03-12 03:02:30 +01:00
|
|
|
.reset;
|
2013-03-10 20:30:49 +01:00
|
|
|
}
|
|
|
|
|
2013-03-14 02:13:23 +01:00
|
|
|
.blueshade {
|
|
|
|
border-color: rgba(82, 168, 236, 0.8);
|
|
|
|
outline: 0;
|
|
|
|
outline: thin dotted \9;
|
|
|
|
-webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
|
|
|
|
-moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
|
|
|
|
box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
|
|
|
|
}
|
|
|
|
|
|
|
|
.repl-root {
|
|
|
|
margin-top: 2%;
|
|
|
|
width: 90%;
|
|
|
|
height: 90%;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
.blueshade;
|
|
|
|
}
|
|
|
|
|
2013-03-12 00:14:20 +01:00
|
|
|
#python-repl {
|
|
|
|
.repl;
|
|
|
|
float: right;
|
2013-03-10 20:30:49 +01:00
|
|
|
}
|
|
|
|
|
2013-03-12 00:14:20 +01:00
|
|
|
#hython-repl {
|
|
|
|
.repl;
|
|
|
|
float: left;
|
2013-03-14 02:13:23 +01:00
|
|
|
border-right: 1px solid rgba(82, 168, 236, 0.2);
|
2013-03-12 00:14:20 +01:00
|
|
|
}
|
|
|
|
|
2013-03-12 03:02:30 +01:00
|
|
|
#hython-target {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
2013-03-12 00:14:20 +01:00
|
|
|
.clear {
|
|
|
|
clear: both;
|
|
|
|
}
|
|
|
|
|
|
|
|
#build-msgs {
|
2013-03-14 02:13:23 +01:00
|
|
|
border-top: 1px solid rgba(82, 168, 236, 0.2);
|
2013-03-12 00:14:20 +01:00
|
|
|
height: 10%;
|
2013-03-14 02:13:23 +01:00
|
|
|
padding: 5px;
|
|
|
|
color: #777777;
|
2013-03-10 20:30:49 +01:00
|
|
|
}
|