v86/v86.css

96 lines
1.7 KiB
CSS
Raw Normal View History

2014-02-11 01:28:35 +01:00
#runtime_infos {
float: left;
2014-09-29 02:47:56 +02:00
width: 300px;
2014-02-11 01:28:35 +01:00
}
#log, #runtime_infos, #serial {
font-family: DejaVu Sans Mono, monospace;
2013-11-06 01:12:55 +01:00
font-size: 13px;
2014-02-11 01:28:35 +01:00
border: 1px solid #333;
2014-01-10 23:10:35 +01:00
background-color: #000;
2014-02-11 01:28:35 +01:00
padding: 4px;
2014-01-10 23:10:35 +01:00
color: #fff;
}
#log {
2014-02-19 23:19:13 +01:00
height: 100px;
width: 550px;
2014-01-10 23:10:35 +01:00
}
#serial {
2014-02-11 01:28:35 +01:00
margin: 0px;
}
#serial:focus {
outline: 1px solid rgb(229, 151, 0);
2013-11-06 01:12:55 +01:00
}
#screen {
white-space: pre;
position: relative;
font-family: Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
font-weight: bold;
font-size: 15px;
line-height: 1;
}
#screen, #vga {
border: 1px solid #555;
border-width: 2px 1px;
display: none;
-webkit-transform-origin: top left;
-moz-transform-origin: top left;
}
#vga {
2013-11-07 21:41:48 +01:00
image-rendering: -moz-crisp-edges;
image-rendering: -webkit-optimize-contrast;
image-rendering: -o-crisp-edges;
image-rendering: optimize-contrast;
-ms-interpolation-mode: nearest-neighbor;
2013-11-06 01:12:55 +01:00
}
#screen > div > span {
height: 15px;
}
body {
background-color: #111;
color: #fff;
line-height: 1.5;
2014-01-10 23:10:35 +01:00
padding: 10px;
font-family: sans-serif;
2013-11-06 01:12:55 +01:00
}
a {
color: wheat;
}
.phone_keyboard {
2014-01-27 18:19:47 +01:00
width: 0;
height: 0;
resize: none;
border: 0;
2014-02-11 01:28:35 +01:00
padding: 0;
2013-11-06 01:12:55 +01:00
}
2014-01-10 23:10:35 +01:00
h4 {
margin: 0px 0px 20px 0px;
}
#start_emulation {
padding: 6px 18px;
font-size: 16px;
font-weight: bold;
}
#setup_error {
color: red;
font-weight: bold;
background-color: #222;
padding: 8px 18px;
}
#config_link {
font-weight: bold;
background-color: #222;
padding: 8px 18px;
}
#screen_container {
float: left;
2014-02-11 01:28:35 +01:00
margin-right: 10px;
margin-bottom: 10px;
2014-01-10 23:10:35 +01:00
}
a img {
margin: 10px;
}
.screenshots a {
text-decoration: none;
}