2023-01-27 15:00:41 +01:00
|
|
|
.context-node {
|
2023-02-08 15:36:13 +01:00
|
|
|
padding-top: 1em;
|
2023-01-27 15:00:41 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
.context-node a {
|
2023-02-08 15:36:13 +01:00
|
|
|
text-decoration: none;
|
2023-01-27 15:00:41 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
.context-node a:hover {
|
2023-02-08 15:36:13 +01:00
|
|
|
text-decoration: underline;
|
|
|
|
}
|