Back to home page

OSCL-LXR

 
 

    


0001 /* ==========================================================================
0002    Author's custom styles
0003    ========================================================================== */
0004 
0005 table {
0006   margin: 15px 0;
0007   padding: 0;
0008 }
0009 
0010 table tr {
0011   border-top: 1px solid #cccccc;
0012   background-color: white;
0013   margin: 0;
0014   padding: 0;
0015 }
0016 
0017 table tr:nth-child(2n) {
0018   background-color: #F1F4F5;
0019 }
0020 
0021 table tr th {
0022   font-weight: bold;
0023   border: 1px solid #cccccc;
0024   text-align: left;
0025   margin: 0;
0026   padding: 6px 13px;
0027 }
0028 
0029 table tr td {
0030   border: 1px solid #cccccc;
0031   text-align: left;
0032   margin: 0;
0033   padding: 6px 13px;
0034 }
0035 
0036 .navbar .brand {
0037   height: 50px;
0038   width: 110px;
0039   margin-left: 1px;
0040   padding: 0;
0041 }
0042 
0043 .version {
0044   line-height: 30px;
0045   vertical-align: bottom;
0046   font-size: 12px;
0047   padding: 0;
0048   margin: 0;
0049   font-weight: bold;
0050   color: #777;
0051 }
0052 
0053 .navbar-inner {
0054   padding-top: 2px;
0055   height: 50px;
0056 }
0057 
0058 .navbar-inner .nav {
0059   margin-top: 5px;
0060   font-size: 15px;
0061 }
0062 
0063 .navbar .divider-vertical {
0064   border-right-color: lightgray;
0065 }
0066 
0067 .navbar-text .version-text {
0068   color: #555555;
0069   padding: 5px;
0070   margin-left: 10px;
0071 }
0072 
0073 body .container-wrapper {
0074   background-color: #FFF;
0075   color: #1D1F22;
0076   max-width: 1024px;
0077   margin-top: 10px;
0078   margin-left: auto;
0079   margin-right: auto;
0080   border-radius: 15px;
0081   position: relative;
0082 }
0083 
0084 .title {
0085   font-size: 32px;
0086 }
0087 
0088 h1 {
0089   font-size: 28px;
0090   margin-top: 12px;
0091 }
0092 
0093 h2 {
0094   font-size: 24px;
0095   margin-top: 12px;
0096 }
0097 
0098 h3 {
0099   font-size: 21px;
0100   margin-top: 10px;
0101 }
0102 
0103 pre {
0104   font-family: "Menlo", "Lucida Console", monospace;
0105 }
0106 
0107 code {
0108   font-family: "Menlo", "Lucida Console", monospace;
0109   background: white;
0110   border: none;
0111   padding: 0;
0112   color: #444444;
0113 }
0114 
0115 dt code {
0116   white-space: nowrap;
0117   max-width: 100%;
0118   border: solid 1px #e1e4e5;
0119   font-size: .8rem;
0120   padding: 0 5px;
0121   font-family: "Menlo", "Lucida Console", monospace;
0122   overflow-x: auto;
0123 }
0124 
0125 dd { 
0126   margin: 0 1.5em 1.5em;
0127 }
0128 
0129 div .highlight pre {
0130   font-size: 12px;
0131 }
0132 
0133 a code {
0134   color: #0088cc;
0135 }
0136 
0137 a:hover code {
0138   color: #005580;
0139   text-decoration: underline;
0140 }
0141 
0142 .container {
0143   max-width: 914px;
0144 }
0145 
0146 .content {
0147   z-index: 1;
0148   position: relative;
0149   background-color: #FFF;
0150   max-width: 914px;
0151   line-height: 1.6; /* Inspired by Github's wiki style */
0152   padding-left: 15px;
0153 }
0154 
0155 .content-with-sidebar {
0156   z-index: 1;
0157   position: relative;
0158   background-color: #FFF;
0159   max-width: 914px;
0160   line-height: 1.6; /* Inspired by Github's wiki style */
0161   padding-left: 30px;
0162 }
0163 
0164 .dropdown-menu {
0165   /* Remove the default 2px top margin which causes a small
0166     gap between the hover trigger area and the popup menu */
0167   margin-top: 0;
0168   /* Avoid too much whitespace at the right for shorter menu items */
0169   min-width: 50px;
0170 }
0171 
0172 /**
0173  * Make dropdown menus in nav bars show on hover instead of click
0174  * using solution at http://stackoverflow.com/questions/8878033/how-
0175  * to-make-twitter-bootstrap-menu-dropdown-on-hover-rather-than-click
0176  **/
0177 ul.nav li.dropdown:hover ul.dropdown-menu{
0178   display: block;
0179 }
0180 
0181 a.menu:after, .dropdown-toggle:after {
0182   content: none;
0183 }
0184 
0185 /** Make the submenus open on hover on the parent menu item */
0186 ul.nav li.dropdown ul.dropdown-menu li.dropdown-submenu:hover ul.dropdown-menu {
0187   display: block;
0188 }
0189 
0190 /** Make the submenus be invisible until the parent menu item is hovered upon */
0191 ul.nav li.dropdown ul.dropdown-menu li.dropdown-submenu ul.dropdown-menu {
0192   display: none;
0193 }
0194 
0195 /**
0196  * Made the navigation bar buttons not grey out when clicked.
0197  * Essentially making nav bar buttons not react to clicks, only hover events.
0198  */
0199 .navbar .nav li.dropdown.open > .dropdown-toggle {
0200   background-color: transparent;
0201 }
0202 
0203 /**
0204  * Made the active tab caption blue. Otherwise the active tab is black, and inactive tab is blue.
0205  * That looks weird. Changed the colors to active - blue, inactive - black, and
0206  * no color change on hover.
0207  */
0208 .nav-tabs > .active > a, .nav-tabs > .active > a:hover {
0209   color: #08c;
0210 }
0211 
0212 .nav-tabs > li > a, .nav-tabs > li > a:hover {
0213   color: #333;
0214 }
0215 
0216 /**
0217  * MathJax (embedded latex formulas)
0218  */
0219 .MathJax .mo { color: inherit }
0220 .MathJax .mi { color: inherit }
0221 .MathJax .mf { color: inherit }
0222 .MathJax .mh { color: inherit }
0223 
0224 /**
0225  * AnchorJS (anchor links when hovering over headers)
0226  */
0227 a.anchorjs-link:hover { text-decoration: none; }
0228 
0229 
0230 /**
0231  * The left navigation bar.
0232  */
0233 .left-menu-wrapper {
0234   margin-left: 0px;
0235   margin-right: 0px;
0236   background-color: #F0F8FC;
0237   border-top-width: 0px;
0238   border-left-width: 0px;
0239   border-bottom-width: 0px;
0240   margin-top: 0px;
0241   width: 210px;
0242   float: left;
0243   position: fixed;
0244   overflow-y: scroll;
0245 }
0246 
0247 .left-menu {
0248   padding: 0px;
0249   width: 399px;
0250 }
0251 
0252 .left-menu h3 {
0253   margin-left: 10px;
0254   line-height: 30px;
0255 }
0256 
0257 /**
0258  * The collapsing button for the navigation bar.
0259  */
0260 .nav-trigger {
0261   position: fixed;
0262   clip: rect(0, 0, 0, 0);
0263 }
0264 
0265 .nav-trigger + label:after {
0266   content: '»';
0267 }
0268 
0269 label {
0270   z-index: 10;
0271 }
0272 
0273 label[for="nav-trigger"] {
0274   position: fixed;
0275   margin-left: 0px;
0276   padding-top: 100px;
0277   padding-left: 5px;
0278   width: 10px;
0279   height: 80%;
0280   cursor: pointer;
0281   background-size: contain;
0282   background-color: #D4F0FF;
0283 }
0284 
0285 label[for="nav-trigger"]:hover {
0286   background-color: #BEE9FF;
0287 }
0288 
0289 .nav-trigger:checked + label {
0290   margin-left: 200px;
0291 }
0292 
0293 .nav-trigger:checked + label:after {
0294   content: '«';
0295 }
0296 
0297 .nav-trigger:checked ~ div.content-with-sidebar {
0298   margin-left: 200px;
0299 }
0300 
0301 .nav-trigger + label, div.content-with-sidebar {
0302   transition: left 0.4s;
0303 }
0304 
0305 /**
0306  * Rules to collapse the menu automatically when the screen becomes too thin.
0307  */
0308 
0309 @media all and (max-width: 780px) {
0310 
0311   div.content-with-sidebar {
0312     margin-left: 200px;
0313   }
0314   .nav-trigger + label:after {
0315     content: '«';
0316   }
0317   label[for="nav-trigger"] {
0318     margin-left: 200px;
0319   }
0320 
0321   .nav-trigger:checked + label {
0322     margin-left: 0px;
0323   }
0324   .nav-trigger:checked + label:after {
0325     content: '»';
0326   }
0327   .nav-trigger:checked ~ div.content-with-sidebar {
0328     margin-left: 0px;
0329   }
0330 
0331   div.container-index {
0332     margin-left: -215px;
0333   }
0334 
0335 }