0
0
mirror of https://github.com/nodejs/node.git synced 2024-11-29 23:16:30 +01:00
nodejs/deps/v8/benchmarks/style.css

71 lines
989 B
CSS

body {
font-family: sans-serif;
}
hr{
border: 1px solid;
border-color: #36C;
margin: 1em 0
}
h1, h2, h3, h4 {
margin: 0;
margin-bottom: 0;
}
h1 {
font-size: 190%;
height: 1.2em;
}
h2{
font-size: 140%;
height: 1.2em;
}
h3{
font-size: 100%;
}
li{
margin: .3em 0 1em 0;
}
body{
font-family: Helvetica,Arial,sans-serif;
font-size: small;
color: #000;
background-color: #fff;
}
div.title {
background-color: rgb(229, 236, 249);
border-top: 1px solid rgb(51, 102, 204);
text-align: center;
padding-top: 0.2em;
padding-bottom: 0.2em;
margin-bottom: 20px;
}
div.subtitle {
border-bottom: 1px solid rgb(51, 102, 204);
margin-top: 2em;
}
td.contents {
text-align: start;
}
div.run {
margin: 20px;
width: 300px;
height: 300px;
float: right;
background-color: rgb(229, 236, 249);
background-image: url(v8-logo.png);
background-position: center center;
background-repeat: no-repeat;
border: 1px solid rgb(51, 102, 204);
}