2017-02-01 09:37:53 +00:00
|
|
|
.monospace
|
2017-02-01 07:21:18 +00:00
|
|
|
{
|
2017-02-01 09:37:53 +00:00
|
|
|
font-family: "Consolas", monospace;
|
2017-02-01 07:21:18 +00:00
|
|
|
}
|
2017-02-02 07:19:45 +00:00
|
|
|
|
|
|
|
.btn-right
|
|
|
|
{
|
|
|
|
margin-right: 16px;
|
|
|
|
}
|
|
|
|
|
2017-09-12 09:07:10 +00:00
|
|
|
.navbar-brand
|
|
|
|
{
|
|
|
|
padding-top: 1px;
|
|
|
|
padding-bottom: 1px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.navbar-brand img
|
|
|
|
{
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
2017-09-12 13:11:23 +00:00
|
|
|
.goldfish
|
|
|
|
{
|
|
|
|
max-height: 31px;
|
|
|
|
padding-left: 10px;
|
|
|
|
padding-right: 10px;
|
|
|
|
}
|
|
|
|
|
2017-09-13 10:28:00 +00:00
|
|
|
.string
|
|
|
|
{
|
|
|
|
background-color: #c8ffc8;
|
|
|
|
color: #006600;
|
|
|
|
}
|
|
|
|
|
|
|
|
.number
|
|
|
|
{
|
|
|
|
background-color: #c8c8ff;
|
|
|
|
color: #000066;
|
|
|
|
}
|
|
|
|
|
|
|
|
.bytes
|
|
|
|
{
|
|
|
|
background-color: #ffc8c8;
|
|
|
|
color: #660000;
|
|
|
|
}
|
|
|
|
|
2017-09-13 06:19:08 +00:00
|
|
|
.container-lower
|
|
|
|
{
|
|
|
|
margin-top: 10px;
|
|
|
|
}
|
|
|
|
|
2017-02-02 07:19:45 +00:00
|
|
|
body
|
|
|
|
{
|
|
|
|
padding-top: 70px; /*Per la navbar*/
|
|
|
|
}
|