2021-10-01 05:10:49 +00:00
|
|
|
html, body {
|
|
|
|
position: relative;
|
|
|
|
width: 100%;
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
2021-10-28 11:21:36 +00:00
|
|
|
color: #333;
|
|
|
|
margin: 0;
|
|
|
|
padding: 8px;
|
|
|
|
box-sizing: border-box;
|
|
|
|
line-height: 1.2;
|
|
|
|
/* Google Chrome defaults to Times New Roman and for sans-serif it prefers Arial... */
|
|
|
|
font-family: 'DejaVu Sans', sans-serif;
|
2023-02-08 14:02:26 +00:00
|
|
|
/*
|
|
|
|
* Make content stable wrt scrollbars
|
|
|
|
* scrollbar-gutter doesn't help because width isn't fixed
|
|
|
|
* https://www.zhangxinxu.com/wordpress/2015/01/css-page-scrollbar-toggle-center-no-jumping/ */
|
|
|
|
margin-left: calc(100vw - 100%);
|
|
|
|
overflow-x: hidden;
|
2021-10-01 05:10:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
|
|
|
color: rgb(0,100,200);
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
a:hover {
|
|
|
|
text-decoration: underline;
|
|
|
|
}
|
|
|
|
|
|
|
|
a:visited {
|
|
|
|
color: rgb(0,80,160);
|
|
|
|
}
|
|
|
|
|
|
|
|
label {
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
|
|
|
|
input, button, select, textarea {
|
|
|
|
font-family: inherit;
|
|
|
|
font-size: inherit;
|
|
|
|
-webkit-padding: 0.4em 0;
|
|
|
|
padding: 0.4em;
|
|
|
|
margin: 0 0 0.5em 0;
|
|
|
|
box-sizing: border-box;
|
|
|
|
border: 1px solid #ccc;
|
|
|
|
border-radius: 2px;
|
|
|
|
}
|
|
|
|
|
|
|
|
input:disabled {
|
|
|
|
color: #ccc;
|
|
|
|
}
|
|
|
|
|
|
|
|
button {
|
|
|
|
color: #333;
|
|
|
|
background-color: #f4f4f4;
|
|
|
|
outline: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
button:disabled {
|
|
|
|
color: #999;
|
|
|
|
}
|
|
|
|
|
|
|
|
button:not(:disabled):active {
|
|
|
|
background-color: #ddd;
|
|
|
|
}
|
|
|
|
|
|
|
|
button:focus {
|
|
|
|
border-color: #666;
|
|
|
|
}
|