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.
 
 
 
 

83 lines
1.1 KiB

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