make/data/docs-resources/resources/jdk-default.css
changeset 55651 45fc36beb0aa
parent 55447 95794e32352e
child 55671 d755f53becea
equal deleted inserted replaced
55650:56e8c0a3fe9a 55651:45fc36beb0aa
     1 /*
     1 /*
     2  * Copyright (c) 2017, 2018, Oracle and/or its affiliates. All rights reserved.
     2  * Copyright (c) 2017, 2019, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.  Oracle designates this
     7  * published by the Free Software Foundation.  Oracle designates this
   160 
   160 
   161 .legal-footer {
   161 .legal-footer {
   162     font-style: italic;
   162     font-style: italic;
   163     font-size: 80%;
   163     font-size: 80%;
   164 }
   164 }
       
   165 
       
   166 nav#TOC {
       
   167   border: 1px solid gray;
       
   168   border-radius: 10px;
       
   169   padding: 5px 10px;
       
   170   margin-bottom: 15px;
       
   171 }
       
   172 
       
   173 nav#TOC ul ul {
       
   174     font-size:smaller;
       
   175 }
       
   176 
       
   177 nav#TOC ul ul li {
       
   178     display: inline-block
       
   179 }
       
   180 
       
   181 nav#TOC ul ul li::before {
       
   182     content: " \2022  "
       
   183 }