Add initial version of record developer mode, associated scripts

This commit is contained in:
2022-10-31 15:54:17 -05:00
parent b87dbf231d
commit 8ed8640b5a
10 changed files with 1010 additions and 199 deletions

View File

@ -238,3 +238,24 @@ input[type="search"]::-webkit-search-results-decoration { display: none; }
color: gray;
right: 0.125rem;
}
.devDocumentation ul>li
{
margin-left: 30px;
}
.devDocumentation *
{
line-height: 1.5;
}
.devDocumentation p
{
margin-top: .5rem;
margin-bottom: .5rem;
}
.devDocumentation code
{
white-space: pre-wrap;
}