body { font-family: 'Nunito', sans-serif; color: #333; background-color:#fff; font-size: 16px; } a { color: #42aaed; text-decoration: none; } pre { font-family: 'Source Code Pro', monospace; padding: 8px; color: #567; background: #f0f4f8; border-radius: 0; overflow-x: auto; } a:hover { color: #64bbdd; text-decoration: underline; } table { width: 100%; max-width: 100%; } table td { border-top: 1px solid #eee; padding: 8px; } .horizontal { margin-bottom: 16px; list-style: none; background: #f0f4f8; border-radius: 4px; padding: 8px 16px; } .horizontal li { display: inline-block; margin: 0 8px 0 0; } .horizontal img { display: inline-block; margin: 0 8px -2px 0; } h1, summary.title { font-size: 24px; } h3 { font-size: 20px; } #main_div { padding: 20px 0; max-width: 800px; margin: 0 auto; } pre::-webkit-scrollbar { visibility: visible; display: block; height: 12px; } pre::-webkit-scrollbar-track:horizontal { background: #def; border-radius: 0; height: 12px; } pre::-webkit-scrollbar-thumb:horizontal { background: #bdd; border-radius: 0; height: 12px; } :target { border: 2px solid #f8f800; background: #f8f8f8; padding: 4px; } /* 'sh' stands for Syntax Highlight */ span.sh1 { color: #f70; } span.sh2 { color: #0c7; } span.sh3 { color: #aaa; font-style: italic; } span.sh4 { color: #06c; } span.tooltip { border-bottom: 1px dashed #444; } #searchBox { width: 100%; border: none; height: 20px; padding: 8px; font-size: 16px; border-radius: 2px; border: 2px solid #ddd; } #searchBox:placeholder-shown { font-style: italic; } button { border-radius: 2px; font-size: 16px; padding: 8px; color: #000; background-color: #fff; border: 2px solid #42aaed; transition-duration: 300ms; } button:hover { background-color: #42aaed; color: #fff; } /* https://www.w3schools.com/css/css_navbar.asp */ ul.together { list-style-type: none; margin: 0; padding: 0; overflow: hidden; } ul.together li { float: left; } ul.together li a { display: block; border-radius: 8px; background: #f0f4f8; padding: 4px 8px; margin: 8px; } /* https://stackoverflow.com/a/30810322 */ .invisible { left: 0; top: -99px; padding: 0; width: 2em; height: 2em; border: none; outline: none; position: fixed; box-shadow: none; color: transparent; background: transparent; } @media (max-width: 640px) { h1, summary.title { font-size: 18px; } h3 { font-size: 16px; } #dev_page_content_wrap { padding-top: 12px; } #dev_page_title { margin-top: 10px; margin-bottom: 20px; } }