Branch: Tag:

2016-12-21

2016-12-21 23:08:40 by 0

Add _sprintf() to Thread.Mutex() that prints current locking thread. Switch to
hex-based thread IDs in _sprintf() for Thread.Thread() for easier reading.

270:    opacity: 0;   }    - .navbar .sidebar a { display: block; text-decoration: none; } + .navbar .sidebar a { display: block; text-decoration: none; overflow: hidden; text-overflow: ellipsis; }      .sidebar a.mod-protected {    color: #999;
402:      h1, h2, h3, h4 {    color: #323232; -  line-height: 1; +  line-height: 1.1;   }      h1 {
533:   #burger {    display: none;    color: white; +  border: none; +  background: transparent; +  margin: 0; +  transform-style: preserve-3d;   } -  +  #burger:focus { +  outline: 1px dashed #777; +  } +  #burger .bar { +  display: block; +  margin-top: 3px; +  height: 2px; +  width: 25px; +  background: #fff; +  } +  #burger .bar:first-child { +  margin-top: 0; +  }      @media screen and (max-width: 1024px) {    ul.multicol {
543:    }   }    - @media screen and (max-width: 800px) { + @media screen and (max-width: 767px) { +  .sidebar { +  opacity: 1; +  } +  +  // .sidebar { +  // display: none; +  // } +  // .sidebar.open { +  // display: block; +  // } +  +  .sidebar > div { +  columns: 3; +  } +  +  // .navbar .head { +  // display: block; +  // vertical-align: middle; +  // } +  // .navbar .head:hover { +  // background: #4c4c4c; +  // border-left-color: #3c3c3c; +  // } +  // .navbar .head:before { +  // content: '+'; +  // display: inline-block; +  // background: #666; +  // border-radius: 16px; +  // color: #333; +  // width: 19px; +  // height: 19px; +  // padding: 0px 5px 0px 5px; +  // margin-right: 8px; +  // // vertical-align: middle; +  // transition: background .2s ease-out; +  // } +  // .navbar .head.open:before { +  // background: #999; +  // } +  // .navbar .head.top:before { +  // content: ''; +  // display: inline; +  // background: transparent; +  // margin: 0; +  // padding: 0; +  // width: inital; +  // height: initial; +  // } +     .content {    width: 100%;    float: none;
578:    display: block;    float: right;    color: white; -  padding: 10px 15px; -  margin-right: -15px; -  margin-top: -2px; +  padding: 9px 7px; +  margin-right: -6px; +  margin-top: 0px;    cursor: pointer;    border-radius: 2px;    opacity: .6;
603:       header h1 {    display: inline-block; -  margin-top: 7px; +  margin-top: 5px;    }    -  header a { +  body header a { +  display: block;    height: 26px; -  width: 120px; -  transition: transform .3s ease-in; +  transition: all .3s ease-in;    }       body.scrolled {
618:       body.scrolled header {    box-shadow: 0px 1px 5px 0px rgba(0,0,0,.4); -  padding: 0px 20px; +  padding: 1px 20px;    }       body.scrolled header a { -  transform: scale(.9); +  // transform: scale(.8); +  height: 22px;    }       .menu-open {
633:    display: block;    }    -  .menu-open #burger { -  transform: rotate(90deg); +  #burger .bar { +  transform-style: preserve-3d; +  transition: all .3s ease-out;    }    -  +  .menu-open #burger .bar { +  // transform: rotate(90deg); +  +  +  } +  .menu-open #burger .bar:nth-child(1) { +  transform: rotate(45deg) +  translate(5px, 6px); +  } +  .menu-open #burger .bar:nth-child(2), +  .menu-open #burger .bar:nth-child(3) { +  opacity: 0; +  } +  .menu-open #burger .bar:nth-child(4) { +  transform: rotate(-45deg) +  translate(5px, -6px); +  } +     .navbar {    position: fixed;    bottom: 0;
684:    }   }    + /* iPhone 6 and smaller */ + @media screen and (max-width: 414px) { +  .sidebar > div { +  columns: 2; +  } + } +    @media screen and (max-width: 600px) {    .traditional {    padding: 10px;