2017-09-22 00:26:38 +02:00
|
|
|
.node circle {
|
|
|
|
fill: #fff;
|
|
|
|
stroke: steelblue;
|
|
|
|
stroke-width: 3px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.node text {
|
|
|
|
font: 12px sans-serif;
|
|
|
|
}
|
|
|
|
|
|
|
|
.link {
|
|
|
|
fill: none;
|
|
|
|
stroke: #ccc;
|
|
|
|
stroke-width: 2px;
|
|
|
|
}
|
2017-09-25 15:11:01 +02:00
|
|
|
|
2021-02-04 19:51:43 +01:00
|
|
|
.flashed-messages {
|
|
|
|
position: fixed;
|
2021-05-11 19:52:55 +02:00
|
|
|
bottom: 5px;
|
2021-02-04 19:51:43 +01:00
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
|
2021-05-12 23:13:44 +02:00
|
|
|
.blur {
|
|
|
|
filter: blur(10px);
|
|
|
|
}
|
|
|
|
|
|
|
|
#screenshot_thumbnail {
|
|
|
|
scroll-margin: 50px;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Generic parts of menus */
|
|
|
|
hr {
|
|
|
|
display: block;
|
|
|
|
margin-top: 0.1em;
|
|
|
|
margin-bottom: 0.5em;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
border-color: black;
|
|
|
|
border-style: inset;
|
|
|
|
border-width: 1px;
|
|
|
|
}
|
2021-04-06 23:34:57 +02:00
|
|
|
|
2021-05-12 23:13:44 +02:00
|
|
|
hr.vertical {
|
|
|
|
display: block;
|
|
|
|
margin-top: 0.1em;
|
|
|
|
margin-bottom: 0.5em;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
border-color: black;
|
|
|
|
border-style: inset;
|
|
|
|
border-width: 1px;
|
|
|
|
height: 100px;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* menu vertical */
|
2021-04-06 23:34:57 +02:00
|
|
|
#menu_vertical {
|
2019-02-06 18:01:17 +01:00
|
|
|
position: fixed;
|
|
|
|
top: 5px;
|
2020-07-27 18:37:22 +02:00
|
|
|
left: 5px;
|
2021-04-06 23:34:57 +02:00
|
|
|
background: white;
|
|
|
|
border: 2px solid;
|
2020-07-27 18:37:22 +02:00
|
|
|
padding-top: 5px;
|
|
|
|
padding-right: 5px;
|
|
|
|
padding-bottom: 5px;
|
|
|
|
padding-left: 5px;
|
|
|
|
}
|
|
|
|
|
2021-04-06 23:34:57 +02:00
|
|
|
#menu_container_vertical {
|
2020-07-27 18:37:22 +02:00
|
|
|
position: fixed;
|
|
|
|
top: 5px;
|
|
|
|
left: 5px;
|
|
|
|
padding-top: 5px;
|
|
|
|
padding-right: 5px;
|
|
|
|
padding-bottom: 5px;
|
|
|
|
padding-left: 5px;
|
|
|
|
}
|
|
|
|
|
2021-04-06 23:34:57 +02:00
|
|
|
#menu_container_vertical .menu-header {
|
|
|
|
width: 200px;
|
|
|
|
height: 110px;
|
|
|
|
resize: both;
|
2019-02-06 18:01:17 +01:00
|
|
|
}
|
|
|
|
|
2021-04-06 23:34:57 +02:00
|
|
|
#menu_container_vertical ul.components {
|
|
|
|
padding: 10px 0;
|
2020-07-27 18:37:22 +02:00
|
|
|
}
|
|
|
|
|
2021-04-06 23:34:57 +02:00
|
|
|
#menu_container_vertical ul li a {
|
|
|
|
padding: 5px;
|
2020-07-27 18:37:22 +02:00
|
|
|
font-size: 1.1em;
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
|
2021-04-06 23:34:57 +02:00
|
|
|
#menu_container_vertical ul li a:hover {
|
2020-07-27 18:37:22 +02:00
|
|
|
background: #fff;
|
|
|
|
}
|
|
|
|
|
2021-04-06 23:34:57 +02:00
|
|
|
/* menu horizontal */
|
|
|
|
#menu_horizontal {
|
|
|
|
position: fixed;
|
|
|
|
top: 5px;
|
|
|
|
left: 222px;
|
|
|
|
background: white;
|
|
|
|
border: 2px solid;
|
|
|
|
padding-top: 5px;
|
|
|
|
padding-right: 5px;
|
|
|
|
padding-left: 5px;
|
2017-09-25 15:11:01 +02:00
|
|
|
}
|
|
|
|
|
2021-04-06 23:34:57 +02:00
|
|
|
#menu_container_horizontal {
|
|
|
|
position: fixed;
|
|
|
|
top: 5px;
|
|
|
|
left: 5px;
|
|
|
|
padding-top: 5px;
|
|
|
|
padding-right: 5px;
|
|
|
|
padding-left: 5px;
|
|
|
|
}
|
|
|
|
|
|
|
|
#menu_container_horizontal .container {
|
|
|
|
width: 800px;
|
|
|
|
}
|
|
|
|
|
|
|
|
#menu_container_horizontal ul.components {
|
|
|
|
padding: 5px;
|
|
|
|
}
|
|
|
|
|
|
|
|
#menu_container_horizontal ul li a {
|
|
|
|
padding: 1px;
|
|
|
|
font-size: 1.1em;
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
|
|
|
|
#menu_container_horizontal ul li a:hover {
|
|
|
|
background: #fff;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* legend */
|
2019-04-18 17:34:36 +02:00
|
|
|
#legend_container {
|
|
|
|
position: fixed;
|
|
|
|
bottom: 5px;
|
2020-07-30 17:45:07 +02:00
|
|
|
right: 5px;
|
2019-04-18 17:34:36 +02:00
|
|
|
padding-top: 5px;
|
|
|
|
padding-right: 5px;
|
|
|
|
padding-bottom: 5px;
|
|
|
|
padding-left: 5px;
|
|
|
|
}
|
|
|
|
|
2017-09-25 15:11:01 +02:00
|
|
|
#legend {
|
|
|
|
position: fixed;
|
|
|
|
bottom: 5px;
|
2020-07-30 17:45:07 +02:00
|
|
|
right: 5px;
|
2017-09-25 15:11:01 +02:00
|
|
|
background: white;
|
|
|
|
border: 2px solid;
|
|
|
|
padding-top: 5px;
|
|
|
|
padding-right: 5px;
|
|
|
|
padding-bottom: 5px;
|
|
|
|
padding-left: 5px;
|
|
|
|
}
|