2022-01-18 00:36:08 +00:00
|
|
|
code {
|
2022-01-18 00:43:45 +00:00
|
|
|
background-color: #424242;
|
2022-01-18 00:36:08 +00:00
|
|
|
padding: 2px;
|
|
|
|
|
border-radius: 4px;
|
|
|
|
|
font-size: 0.9em;
|
2022-03-22 20:56:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
summary {
|
|
|
|
|
cursor: pointer;
|
|
|
|
|
user-select: none;
|
2022-01-18 00:36:08 +00:00
|
|
|
}
|
