body { font-family: 'Nunito', sans-serif; color: #bbb; background-color:#000; font-size: 16px; } a { color: #42aaed; text-decoration: none; } pre { font-family: 'Source Code Pro', monospace; padding: 8px; color: #567; background: #080a0c; 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 #111; padding: 8px; } .horizontal { margin-bottom: 16px; list-style: none; background: #080a0c; 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: #222; border-radius: 0; height: 12px; } pre::-webkit-scrollbar-thumb:horizontal { background: #444; border-radius: 0; height: 12px; } :target { border: 2px solid #149; background: #246; padding: 4px; } /* 'sh' stands for Syntax Highlight */ span.sh1 { color: #f93; } span.tooltip { border-bottom: 1px dashed #ddd; } #searchBox { width: 100%; border: none; height: 20px; padding: 8px; font-size: 16px; border-radius: 2px; border: 2px solid #222; background: #000; color: #eee; } #searchBox:placeholder-shown { color: #bbb; font-style: italic; } button { border-radius: 2px; font-size: 16px; padding: 8px; color: #bbb; background-color: #111; border: 2px solid #146; transition-duration: 300ms; } button:hover { background-color: #146; 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: #111; 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; } }