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.
 
 
 
 

94 lines
1.3 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. /* not entirely happy w/ this adjustment to get the side bar icon visible */
  12. .w3-top {
  13. left: 0;
  14. width: 100%;
  15. }
  16. .w3-sidebar {
  17. font-size: 1.2rem;
  18. width: 22em;
  19. right: 0;
  20. display: block;
  21. top: 0;
  22. bottom: 0;
  23. overflow-y: scroll;
  24. }
  25. ul.posts > li {
  26. padding-left: 1.5em;
  27. text-indent: -1em;
  28. }
  29. .copyright {
  30. margin-top: 2em;
  31. }
  32. .small {
  33. font-size: 80%;
  34. }
  35. .prevnext {
  36. text-align: center;
  37. }
  38. p.posted {
  39. margin-top: .5em;
  40. margin-bottom: .5em;
  41. }
  42. a.headerlink {
  43. /* give some space to para links */
  44. margin-left: .2em;
  45. /* hide until hover */
  46. display: none;
  47. }
  48. *:hover > .headerlink {
  49. display: unset;
  50. }
  51. ul.tags {
  52. list-style-type: none;
  53. margin-top: .2em;
  54. margin-bottom: .2em;
  55. }
  56. ul.tags li {
  57. padding-left: .5em;
  58. padding-right: .5em;
  59. display: inline-block;
  60. }
  61. ul.footer {
  62. padding-left: 0;
  63. }
  64. pre {
  65. white-space: pre-wrap;
  66. }
  67. pre.showlines::before {
  68. counter-reset: listing;
  69. }
  70. pre.showlines code {
  71. counter-increment: listing;
  72. }
  73. pre.showlines code::before {
  74. content: counter(listing) ". ";
  75. display: inline-block;
  76. width: 3em; /* now works */
  77. text-align: right; /* now works */
  78. }