github.com/riscv/riscv-go@v0.0.0-20200123204226-124ebd6fcc8e/doc/codewalk/codewalk.css (about)

     1  /*
     2     Copyright 2010 The Go Authors. All rights reserved.
     3     Use of this source code is governed by a BSD-style
     4     license that can be found in the LICENSE file.
     5  */
     6  
     7  #codewalk-main {
     8    text-align: left;
     9    width: 100%;
    10    overflow: auto;
    11  }
    12  
    13  #code-display {
    14    border: 0;
    15    width: 100%;
    16  }
    17  
    18  .setting {
    19    font-size: 8pt;
    20    color: #888888;
    21    padding: 5px;
    22  }
    23  
    24  .hotkey {
    25    text-decoration: underline;
    26  }
    27  
    28  /* Style for Comments (the left-hand column) */
    29  
    30  #comment-column {
    31    margin: 0pt;
    32    width: 30%;
    33  }
    34  
    35  #comment-column.right {
    36    float: right;
    37  }
    38  
    39  #comment-column.left {
    40    float: left;
    41  }
    42  
    43  #comment-area {
    44    overflow-x: hidden;
    45    overflow-y: auto;
    46  }
    47  
    48  .comment {
    49    cursor: pointer;
    50    font-size: 16px;
    51    border: 2px solid #ba9836;
    52    margin-bottom: 10px;
    53    margin-right: 10px;  /* yes, for both .left and .right */
    54  }
    55  
    56  .comment:last-child {
    57    margin-bottom: 0px;
    58  }
    59  
    60  .right .comment {
    61    margin-left: 10px;
    62  }
    63  
    64  .right .comment.first {
    65  }
    66  
    67  .right .comment.last {
    68  }
    69  
    70  .left .comment.first {
    71  }
    72  
    73  .left .comment.last {
    74  }
    75  
    76  .comment.selected {
    77    border-color: #99b2cb;
    78  }
    79  
    80  .right .comment.selected {
    81    border-left-width: 12px;
    82    margin-left: 0px;
    83  }
    84  
    85  .left .comment.selected {
    86    border-right-width: 12px;
    87    margin-right: 0px;
    88  }
    89  
    90  .comment-link {
    91    display: none;
    92  }
    93  
    94  .comment-title {
    95    font-size: small;
    96    font-weight: bold;
    97    background-color: #fffff0;
    98    padding-right: 10px;
    99    padding-left: 10px;
   100    padding-top: 5px;
   101    padding-bottom: 5px;
   102  }
   103  
   104  .right .comment-title {
   105  }
   106  
   107  .left .comment-title {
   108  }
   109  
   110  .comment.selected .comment-title {
   111    background-color: #f8f8ff;
   112  }
   113  
   114  .comment-text {
   115    overflow: auto;
   116    padding-left: 10px;
   117    padding-right: 10px;
   118    padding-top: 10px;
   119    padding-bottom: 5px;
   120    font-size: small;
   121    line-height: 1.3em;
   122  }
   123  
   124  .comment-text p {
   125    margin-top: 0em;
   126    margin-bottom: 0.5em;
   127  }
   128  
   129  .comment-text p:last-child {
   130    margin-bottom: 0em;
   131  }
   132  
   133  .file-name {
   134    font-size: x-small;
   135    padding-top: 0px;
   136    padding-bottom: 5px;
   137  }
   138  
   139  .hidden-filepaths .file-name {
   140    display: none;
   141  }
   142  
   143  .path-dir {
   144    color: #555;
   145  }
   146  
   147  .path-file {
   148    color: #555;
   149  }
   150  
   151  
   152  /* Style for Code (the right-hand column) */
   153  
   154  /* Wrapper for the code column to make widths get calculated correctly */
   155  #code-column {
   156    display: block;
   157    position: relative;
   158    margin: 0pt;
   159    width: 70%;
   160  }
   161  
   162  #code-column.left {
   163    float: left;
   164  }
   165  
   166  #code-column.right {
   167    float: right;
   168  }
   169  
   170  #code-area {
   171    background-color: #f8f8ff;
   172    border: 2px solid #99b2cb;
   173    padding: 5px;
   174  }
   175  
   176  .left #code-area {
   177    margin-right: -1px;
   178  }
   179  
   180  .right #code-area {
   181    margin-left: -1px;
   182  }
   183  
   184  #code-header {
   185    margin-bottom: 5px;
   186  }
   187  
   188  #code {
   189    background-color: white;
   190  }
   191  
   192  code {
   193    font-size: 100%;
   194  }
   195  
   196  .codewalkhighlight {
   197    font-weight: bold;
   198    background-color: #f8f8ff;
   199  }
   200  
   201  #code-display {
   202    margin-top: 0px;
   203    margin-bottom: 0px;
   204  }
   205  
   206  #sizer {
   207    position: absolute;
   208    cursor: col-resize;
   209    left: 0px;
   210    top: 0px;
   211    width: 8px;
   212  }
   213  
   214  /* Style for options (bottom strip) */
   215  
   216  #code-options {
   217    display: none;
   218  }
   219  
   220  #code-options > span {
   221    padding-right: 20px;
   222  }
   223  
   224  #code-options .selected {
   225    border-bottom: 1px dotted;
   226  }
   227  
   228  #comment-options {
   229    text-align: center;
   230  }
   231  
   232  div#content {
   233    padding-bottom: 0em;
   234  }