res/style-index.css



    1 /*
    2  * Header sections
    3  */
    4 
    5 /*
    6  * Zeroth level (page label)
    7  */
    8 div.sect1.index {
    9   width:100%;
   10 }
   11 
   12 /*
   13  * First level (section headers on index page)
   14  */
   15 div.index.sect1 {
   16   backdrop-filter:brightness(70%);
   17   -webkit-backdrop-filter:brightness(70%);
   18   padding:0px;
   19   border:1px solid #ccc;
   20   width: 100%;
   21   border-radius:4px;
   22   margin:10px 0px 10px 0px;
   23 }
   24 
   25 div.index.sect1 h2 {
   26   backdrop-filter:brightness(90%);
   27   -webkit-backdrop-filter:brightness(90%);
   28   padding:3px 0px 3px 7px;
   29   margin:0px;
   30   border-bottom:2px solid #aaa;
   31   color: var(--normal-text);
   32   font-size:1.5em;
   33   font-weight:300;
   34 }
   35 
   36 div.index.sect1 div.ulist {
   37   padding-left:0px;
   38 }
   39 
   40 div.index.sect1 div.ulist ul {
   41   list-style-type:none;
   42   padding-left:7px;
   43   margin-left:0px;
   44 }
   45 
   46 div.index.sect1 div.ulist ul li {
   47   border-left:4px solid #bbb;
   48   padding-left:5px;
   49   margin-left:0px;
   50 }
   51 
   52 div.index.sect1 div.ulist ul li:hover {
   53   border-left:4px solid #cc7733;
   54 }
   55 
   56 /*
   57  * Second-level nested header sections
   58  */
   59 div.index.sect1 div.sect2 {
   60   padding-left:5px;
   61   width: 96%;
   62   margin: 10px auto 10px auto;
   63 }
   64 
   65 div.index.sect1 div.sect2 h3 {
   66   padding:7px 0px 2px 0px;
   67   margin:0px;
   68 }
   69 
   70 div.index.sect1 div.sect2 div.ulist {
   71   padding-left:0px;
   72 }
   73 
   74 div.index.sect1 div.sect2 div.ulist ul {
   75   list-style-type:none;
   76   padding-left:2px;
   77   margin-left:0px;
   78 }
   79 
   80 div.index.sect1 div.sect2 div.ulist ul li {
   81   border-left:4px solid #bbb;
   82   padding-left:5px;
   83   margin-left:0px;
   84 }