You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
- .small {
- font-size: 80%;
- }
-
- a.headerlink {
- /* give some space to para links */
- margin-left: .2em;
- /* hide until hover */
- display: none;
- }
-
- *:hover > .headerlink {
- display: unset;
- }
-
- ul.tags {
- list-style-type: none;
- }
-
- ul.tags li {
- padding-left: .5em;
- padding-right: .5em;
- display: inline-block;
- }
-
- pre.showlines {
- white-space: pre-wrap;
- }
- pre.showlines::before {
- counter-reset: listing;
- }
- pre.showlines code {
- counter-increment: listing;
- }
- pre.showlines code::before {
- content: counter(listing) ". ";
- display: inline-block;
- width: 3em; /* now works */
- text-align: right; /* now works */
- }
|