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.
 
 
 
 

66 lines
972 B

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