Widget: DevGuidelines: Difference between revisions
From LINKS Community Center
Eschmidt (talk | contribs) No edit summary |
Eschmidt (talk | contribs) No edit summary |
||
| Line 21: | Line 21: | ||
margin-right: .5em; | margin-right: .5em; | ||
} | } | ||
#guideline-intro | #guideline-intro { | ||
font-size: larger; | font-size: larger; | ||
margin-bottom: 4em; | margin-bottom: 4em; | ||
} | } | ||
#guideline-intro ul { font-size: initial; } | |||
</style> | </style> | ||
<script> | <script> | ||
Revision as of 15:22, 31 August 2022
Development version of the List of Guidelines.
Not ready for production!