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 }