progs/pprint/style.css
author Christian Urban <christian.urban@kcl.ac.uk>
Sun, 11 Oct 2020 09:10:08 +0100
changeset 778 ae85207c6a93
parent 742 155426396b5f
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
742
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
@media print {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
  @page { margin: 0; }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
  body { margin: 1.6cm; }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
body {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
  font-family: Calibri, Segoe, "Segoe UI", "Gill Sans", "Gill Sans MT", sans-serif;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
/* It's supposed to look like a tree diagram */
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
.tree, .tree ul, .tree li {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
    list-style: none;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
    margin: 0;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
    padding: 0;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
    position: relative;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
.tree {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
    margin: 0 0 1em;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
    text-align: center;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
.tree, .tree ul {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
    display: table;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    25
}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26
.tree ul {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    27
  width: 100%;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    28
}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    29
    .tree li {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    30
        display: table-cell;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    31
        padding: .5em 0;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    32
        vertical-align: top;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    33
    }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    34
        /* _________ */
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    35
        .tree li:before {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    36
            outline: solid 1px #666;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    37
            content: "";
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    38
            left: 0;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    39
            position: absolute;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    40
            right: 0;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    41
            top: 0;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    42
        }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    43
        .tree li:first-child:before {left: 50%;}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    44
        .tree li:last-child:before {right: 50%;}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    45
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    46
        .tree code, .tree span {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    47
            border: solid .1em #666;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    48
            border-radius: .2em;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    49
            display: inline-block;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    50
            margin: 0 .2em .5em;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    51
            padding: .2em .5em;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    52
            position: relative;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    53
        }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    54
        /* If the tree represents DOM structure */
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    55
        .tree code {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    56
            font-family: monaco, Consolas, 'Lucida Console', monospace;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    57
        }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    58
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    59
            /* | */
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    60
            .tree ul:before,
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    61
            .tree code:before,
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    62
            .tree span:before {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    63
                outline: solid 1px #666;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    64
                content: "";
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    65
                height: .5em;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    66
                left: 50%;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    67
                position: absolute;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    68
            }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    69
            .tree ul:before {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    70
                top: -.5em;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    71
            }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    72
            .tree code:before,
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    73
            .tree span:before {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    74
                top: -.55em;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    75
            }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    76
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    77
/* The root node doesn't connect upwards */
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    78
.tree > li {margin-top: 0;}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    79
    .tree > li:before,
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    80
    .tree > li:after,
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    81
    .tree > li > code:before,
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    82
    .tree > li > span:before {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    83
      outline: none;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    84
    }
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    85
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    86
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    87
/* Create two equal columns that floats next to each other */
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    88
.column {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    89
  float: left;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    90
  width: 40%;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    91
  padding: 10px;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    92
}
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    93
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    94
/* Clear floats after the columns */
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    95
.row:after {
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    96
  content: "";
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    97
  display: table;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    98
  clear: both;
155426396b5f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    99
}