The blog.
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.
 
 
 
 

52 lines
778 B

  1. .small {
  2. font-size: 80%;
  3. }
  4. .prevnext {
  5. text-align: center;
  6. }
  7. p.posted {
  8. margin-top: .5em;
  9. margin-bottom: .5em;
  10. }
  11. a.headerlink {
  12. /* give some space to para links */
  13. margin-left: .2em;
  14. /* hide until hover */
  15. display: none;
  16. }
  17. *:hover > .headerlink {
  18. display: unset;
  19. }
  20. ul.tags {
  21. list-style-type: none;
  22. margin-top: .2em;
  23. margin-bottom: .2em;
  24. }
  25. ul.tags li {
  26. padding-left: .5em;
  27. padding-right: .5em;
  28. display: inline-block;
  29. }
  30. pre.showlines {
  31. white-space: pre-wrap;
  32. }
  33. pre.showlines::before {
  34. counter-reset: listing;
  35. }
  36. pre.showlines code {
  37. counter-increment: listing;
  38. }
  39. pre.showlines code::before {
  40. content: counter(listing) ". ";
  41. display: inline-block;
  42. width: 3em; /* now works */
  43. text-align: right; /* now works */
  44. }