SALT-NLP/Design2Code
This dataset consists of 484 webpages from the C4 validation set, serving the purpose of testing multimodal LLMs on converting visual designs into code implementations. Each example is a pair of source HTML and screenshot ({id}.html and {id}.png). See the dataset in the huggingface format here. Note that all images in these webpages are replaced by a placeholder image (rick.jpg) Please refer to our project page and our paper for more information. Example Usage For example, you… See the full description on the dataset page: https://huggingface.co/datasets/SALT-NLP/Design2Code.
221.8k
1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "">2<html xmlns="">3 <head>4 <title>5 special relativity in nLab6 </title>7 <meta content="text/html; charset=utf-8" http-equiv="Content-Type">8 <meta content="index,follow" name="robots">9 <meta content="width=device-width, initial-scale=1" name="viewport">10 <style type="text/css">11 h1#pageName, div.info, .newWikiWord a, a.existingWikiWord, .newWikiWord a:hover, [actiontype="toggle"]:hover, #TextileHelp h3 {12 color: #226622;13 }14 a:visited.existingWikiWord {15 color: #164416;16 }17 </style>18 <style type="text/css">19 <!--/*--><![CDATA[/*><!--*/20 .toc ul {margin: 0; padding: 0;}21.toc ul ul {margin: 0; padding: 0 0 0 10px;}22.toc li > p {margin: 0}23.toc ul li {list-style-type: none; position: relative;}24.toc div {border-top:1px dotted #ccc;}25.rightHandSide h2 {font-size: 1.5em;color:#008B26}26table.plaintable {27 border-collapse:collapse;28 margin-left:30px;29 border:0;30}31.plaintable td {border:1px solid #000; padding: 3px;}32.plaintable th {padding: 3px;}33.plaintable caption {34 font-weight: bold;35 font-size:1.1em;36 text-align:center;37 margin-left:30px;38}39 40 41/* Query boxes for questioning and answering mechanism */42div.query{43background: #f6fff3;44border: solid #ce9;45border-width: 2px 1px;46padding: 0 1em;47margin: 0 1em;48max-height: 20em;49overflow: auto;50}51 52/* Standout boxes for putting important text */53div.standout{54background: #fff1f1;55border: solid black;56border-width: 2px 1px;57padding: 0 1em;58margin: 0 1em;59overflow: auto;60}61 62/* Icon for links to n-category arXiv documents 63 (commented out for now i.e. disabled)64a[href*=""] {65 background-image: url(../files/arXiv_icon.gif);66 background-repeat: no-repeat;67 background-position: right bottom;68 padding-right: 22px;69 } */70 71/* Icon for links to n-category cafe posts (disabled) 72a[href*=""] {73 background-image: url(../files/n-cafe_5.gif);74 background-repeat: no-repeat;75 background-position: right bottom;76 padding-right: 25px;77 } */78 79/* Icon for links to pdf files (disabled)80a[href$=".pdf"] {81 background-image: url(../files/pdficon_small.gif);82 background-repeat: no-repeat;83 background-position: right bottom;84 padding-right: 25px;85 } */86 87/* Icon for links to pages, etc. -inside- pdf files (disabled)88a[href*=".pdf#"] {89 background-image: url(../files/pdf_entry.gif);90 background-repeat: no-repeat;91 background-position: right bottom;92 padding-right: 25px;93 } */94 95a.existingWikiWord {96color: #226622;97}98 99a.existingWikiWord:visited {100color: #226622;101}102 103 104a.existingWikiWord[title] {105border: 0px;106color: #aa0505;107text-decoration: none;108}109 110a.existingWikiWord[title]:visited {111border: 0px;112color: #551111;113text-decoration: none;114}115 116a[href^="http://"] {117border: 0px;118color: #003399;119}120 121a[href^="http://"]:visited {122border: 0px;123color: #330066;124}125 126a[href^="https://"] {127border: 0px;128color: #003399;129}130 131a[href^="https://"]:visited {132border: 0px;133color: #330066;134}135 136div.dropDown .hide {137display: none;138}139 140div.dropDown:hover .hide {141display:block;142}143 144div.clickDown .hide {145display: none;146}147 148div.clickDown:focus {149outline:none;150}151 152div.clickDown:focus .hide, div.clickDown:hover .hide {153display: block;154}155 156div.clickDown .clickToReveal, div.clickDown:focus .clickToHide {157display:block;158}159 160div.clickDown:focus .clickToReveal, div.clickDown .clickToHide {161display:none;162}163 164div.clickDown .clickToReveal:after {165content: "A(Hover to reveal, click to "hold")";166font-size: 60%;167}168 169div.clickDown .clickToHide:after {170content: "A(Click to hide)";171font-size: 60%;172}173div.clickDown .clickToHide, div.clickDown .clickToReveal {174white-space: pre-wrap;175}176 177.un_theorem, .num_theorem, .un_lemma, .num_lemma, .un_prop, .num_prop, .un_cor, .num_cor, .un_defn, .num_defn, .un_example, .num_example, .un_note, .num_note, .un_remark, .num_remark {178margin-left: 1em;179}180 181span.theorem_label {182margin-left: -1em;183}184.proof span.theorem_label {185margin-left: 0em;186}187:target {188 background-color: #BBBBBB;189 border-radius: 5pt;190}191 192 /*]]>*/-->193 </style>194 <style>195 body {196background-color:#FFF;197color:#333;198font-family:"Noto Sans", Roboto, "Lucida Grande", "San Francisco", sans-serif;199font-size:1em;200line-height:1.3;201}202 203.skipNav {204position:relative;205left:-1000em;206font-size:0em;207}208 209#Container {210margin:0 10px;211text-align:center;212}213 214#Content {215border-top:none;216margin:auto;217padding:0.3em;218text-align:left;219width:100%;220max-width:50em;221}222 223a:visited {224color:#666;225}226 227h1,h2,h3,h4,h5,h6 {228color:#333;229font-family:"Noto Serif", "PT Serif", Miller, serif;230}231 232h1 {233font-size:200%;234}235 236h2 {237font-size:173%;238}239 240h3 {241font-size:144%;242}243 244h4 {245font-size:120%;246}247 248h5,h6 {249font-size:100%250}251 252#svg_logo {253float:left;254margin:.5em .25em 0 -.625em;255width:1.5em;256height:1.625em;257}258 259a.nav,a:link.nav, a:visited.nav {260background-color:#FFF;261color:#000;262}263 264table {265border:double #000;266border-collapse:collapse;267}268 269td {270border:thin solid #888;271padding:3px;272}273 274th {275padding:3px;276}277 278li {279margin-top:0.5em;280margin-bottom:0.5em;281}282 283.newWikiWord {284background-color:#DDD;285}286 287.newWikiWord a:hover {288background-color:#FFF;289}290 291.deleteWikiWord {292background-color:#FCC;293border: 3px solid blue;294padding: 2px;295}296 297.badWikiWord {298background-color:#FCC;299border: 1px solid blue;300padding: 1px;301}302 303.deleteWikiWord:hover, .deleteWikiWord a:hover {304background-color:#F88;305}306 307 308form#navigationSearchForm {309display:inline;310}311 312form#navigationSearchForm input {313font-size:80%;314}315 316.navigation {317color:#555;318font-size:90%;319margin-top:0.3em;320}321 322.navigation a:hover {323background-color:#000;324color:#FFF;325text-decoration:none;326}327 328.navigation a {329color:#000;330font-weight:bold;331}332 333.navigation small a {334font-size:90%;335font-weight:normal;336}337 338.navOn {339color:#444;340font-weight:bold;341text-decoration:none;342}343 344div.help {345font-family:"Noto Sans", Roboto, "Lucida Grande", "San Francisco", sans-serif;346font-size:75%;347}348 349div.inputBox {350background-color:#EEE;351font-family:"Noto Sans", Roboto, "Lucida Grande", "San Francisco", sans-serif;352font-size:80%;353margin-bottom:1.5em;354padding:0.3em;355}356 357blockquote {358display:block;359font-size:0.9em;360margin:0 0 1.5em;361padding:0 4.5em;362}363 364pre {365background-color:#DDD;366font-size:90%;367overflow:auto;368padding:1em;369}370 371ol.setup {372font-family:"Noto Serif", "PT Serif", Miller, serif;373font-size:110%;374margin-top:1em;375padding-left:1.5em;376}377 378.byline, .revisedby {379color:#666;380font-size:.9em;381font-style:italic;382margin-bottom:1em;383padding-top:1px;384}385 386p.show_diff {387background: #eee;388padding: 3px;389border: 1px solid silver;390font-size:.85em;391}392 393span.webName {394font-size:.5em;395}396 397span.views, span.linked {398font-size:.85em;399}400.views a, .linked a {401font-weight: normal402}403span.revisions {404font-size:.95em405}406 407#allPages, #wantedPages {408float: left;409width: 280px;410}411#allPages {412margin-right: 30px;413}414#allPages h2, #wantedPages h2 {415font-size: 1.2em;416}417#allPages label {418font-size: .8em;419}420 421.pageType {422font-size: .75em;423font-style: italic;424}425 426p.pageStats, span.unlock {427font-size: .85em;428}429 430.diffdel,del.diffmod, .diffdel *, del.diffmod * {431background-color:#FAA;432text-decoration:line-through;433}434 435.diffins,ins.diffmod, .diffins *, ins.diffmod * {436background-color:#AFA;437text-decoration:underline;438}439 440.diffmod, .diffmod * {441border: 2px solid #FE0;442}443 444#footer {445color:#666;446font-size:.75em;447font-style:italic;448line-height:1.2;449padding-top:2em;450text-align:right;451}452 453#footer a:link,#footer a:visited {454color:#777;455font-style:italic;456}457#footer a:hover {458color:#FFF;459}460 461div.web_normal {462 padding:4px;463}464 465div.web_protected {466 padding:4px;467 background-color:#DDD;468}469 470div.inputFieldWithPrompt {471margin:0.75em 0;472}473 474div.errorExplanation {475background-color:#FFA;476color:#900;477font-style:italic;478font-weight:bold;479margin:1.5em 0;480padding:1em;481width:100%;482}483 484div.errorExplanation h2 {485display:none;486}487 488div.errorExplanation ul {489border:none;490margin:0.5em 0 0 2em;491padding:0;492}493 494div.fieldWithErrors input {495border:1px solid #900;496}497 498div.info {499background-color:#DDD;500font-weight:bold;501margin-top:0.5em;502padding:0.5em;503width:100%;504}505 506div#editFormButtons {507margin:0.5em 0 0;508}509 510div#editFormButtons span {511white-space:nowrap;512}513 514div#editForm textarea#content {515}516 517div#MarkupHelp {518float:right;519margin-top:0.5em;520width:25%;521}522 523div#MarkupHelp table {524border-bottom:3px solid #BBB;525border-left:3px solid #999;526border-right:3px solid #BBB;527border-top:3px solid #999;528margin-bottom:0;529}530 531div#MarkupHelp td {532border:1px solid #999;533border-width:1px 0;534font-size:80%;535margin:0;536padding:0.2em;537vertical-align:top;538white-space:nowrap;539}540 541div#MarkupHelp td.arrow {542color:#666;543padding:0 0.75em 0 0;544}545 546div#MarkupHelp h3 {547font-size:90%;548font-weight:bold;549margin:0 0 5px;550padding:5px 0 0;551}552 553div#MarkupHelp p {554font-size:70%;555}556 557div.rightHandSide {558border-left:1px dotted #ccc;559border-bottom:1px dotted #ccc;560float:right;561font-size:80%;562margin-left:0.7em;563padding-left:1.5em;564width:25%;565}566 567.newsList {568margin-top:1.5em;569}570 571.newsList p {572margin-bottom:2.5em;573}574 575.property {576color:#666;577font-size:80%;578}579 580a,li span {581color:#000;582}583 584a:hover, a.nav:hover, a:hover math {585background-color:#000;586color:#FFF;587}588 589a:hover.existingWikiWord, a:visited:hover.existingWikiWord {590background-color:#008;591color:#FFF;592}593a:hover.existingWikiWord[title] {594background-color:#707;595color:#FFF;596}597.web_protected a:hover.existingWikiWord[title], .web_normal a:hover.existingWikiWord[title] {598background-color:#000;599color:#FFF;600}601 602div.errorExplanation p,div.errorExplanation li {603border:none;604margin:0;605padding:0;606}607 608textarea#content {609font-size: 1em;610line-height: 1.125;611}612 613ul#sortable_pages {614list-style-type:none;615padding-left:0;616}617ul#sortable_pages li {618border: 1px solid #FFF;619}620ul#sortable_pages li:hover, ul#sortable_pages li:focus {621border: 1px solid blue;622}623 624merror {display:inline;font-size:1em;}625math[display=block] {overflow:auto;overflow-y:hidden}626math { white-space: nowrap }627.maruku-eq-number {float:right}628.maruku-equation {text-align:center}629.blockquotesource {margin-left:1em;}630fieldset.search {display:inline; border:none;padding:0;margin:0;top:5px;position:relative;}631span.keyboard {632 background: #CCC;633 color: #000;634 border: outset 2px;635 font-family:"Noto Sans", Roboto, "Lucida Grande", "San Francisco", sans-serif;636 font-size: .7em;637 margin-left:5px;638 padding:1px 2px;639}640.centeredfigure {641 position:relative;642 margin:auto;643 text-align:center;644}645 646body {counter-reset: theorem}647.un_theorem, .num_theorem,648.un_lemma, .num_lemma,649.un_prop, .num_prop,650.un_cor, .num_cor {font-style: italic}651span.theorem_label {font-style:normal; font-weight:bold;}652.proof span.theorem_label {font-style:italic;}653.tombstone {text-align:right;}654 655/* Hack for Mozilla bug 449396 */656[mathvariant="bold"] * {657 font-style: normal;658 font-variant: normal;659 font-weight: bold;660}661[mathvariant="italic"] * {662 font-style: italic;663 font-variant: normal;664 font-weight: normal;665}666[mathvariant="bold-italic"] * {667 font-style: italic;668 font-variant: normal;669 font-weight: bold;670}671[mathvariant="sans-serif"] * {672 font-style: normal;673 font-variant: normal;674 font-weight: normal;675}676[mathvariant="bold-sans-serif"] * {677 font-style: normal;678 font-variant: normal;679 font-weight: bold;680}681[mathvariant="sans-serif-italic"] * {682 font-style: italic;683 font-variant: normal;684 font-weight: normal;685}686[mathvariant="sans-serif-bold-italic"] * {687 font-style: italic;688 font-variant: normal;689 font-weight: bold;690}691[actiontype="toggle"]:hover {text-shadow: #ccc 2px 2px 5px;}692.maruku_toc ul { list-style: none; }693[actiontype="toggle"]:hover {text-shadow: #ccc 2px 2px 5px;}694.nlab_toc ul { list-style: none; }695 696/* The STIX Two fonts are licensed under the SIL Open Font License, Version 1.1, http://scripts.sil.org/OFL */697math {font-family: STIX Two Math;}698mtext {font-family: STIX Two Text;}699.mathscript {700 font-variant-alternates: styleset(ss01); /* Recommended syntax */701 font-feature-settings: "ss01" on; /* For browsers which don't support the above */702}703 704@font-face {705 font-family: STIX Two Text;706 src: local('STIX Two Text'), local('STIX2Text-Regular'),707 url('../fonts/STIX2Text-Regular.woff2'), url('../fonts/STIX2Text-Regular.woff');708}709@font-face {710 font-family: STIX Two Text;711 src: local('STIX Two Text Bold'), local('STIX2Text-Bold'),712 url('../fonts/STIX2Text-Bold.woff2'), url('../fonts/STIX2Text-Bold.woff');713 font-weight: bold;714}715@font-face {716 font-family: STIX Two Text;717 src: local('STIX Two Text Italic'), local('STIX2Text-Italic'),718 url('../fonts/STIX2Text-Italic.woff2'), url('../fonts/STIX2Text-Italic.woff');719 font-style: italic;720}721@font-face {722 font-family: STIX Two Text;723 src: local('STIX Two Text Bold Italic'), local('STIX2Text-BoldItalic'),724 url('../fonts/STIX2Text-BoldItalic.woff2'), url('../fonts/STIX2Text-BoldItalic.woff');725 font-weight: bold;726 font-style: italic;727}728@font-face {729 font-family: STIX Two Math;730 src: local('STIX Two Math'), local('STIX2Math'),731 url('../fonts/STIX2Math.woff2'), url('../fonts/STIX2Math.woff');732}733 734 735 736@font-face {737 font-family: Stix Mathematics;738 src: url("/fonts/STIXMath-Regular.otf") format("opentype");739}740 741span.mathematics {742 /* Avoid line breaks in the middle of mathematics */743 /* display: inline-block; */744 font-style: italic;745 font-family: DejaVu Math TeX Gyre; sans-serif; Stix Mathematics;746}747 748 749 750pre.ansic .normal {}751pre.ansic .comment { color: #00F; }752pre.ansic .keyword { color: #A00; }753pre.ansic .predefined_types { color: #D00; }754pre.ansic .char { color: #F07; }755pre.ansic .ident { color: #004; }756pre.ansic .hex { color: #F99; }757pre.ansic .oct { color: #F99; }758pre.ansic .integer { color: #F99; }759pre.ansic .float { color: #F99; }760pre.ansic .string { color: #494; }761pre.ansic .preprocessor { color: #D0D; }762pre.ansic .other { color: black; }763 764pre.fortran .normal {}765pre.fortran .string { color: #494; }766pre.fortran .number { color: #D0D; }767pre.fortran .comment { color: #00F; }768pre.fortran .keyword { color: #A00; }769pre.fortran .type { color: #D00; }770pre.fortran .symbol { color: #008B8B; }771pre.fortran .function { color: #F07; }772 773pre.css21 .normal {}774pre.css21 .comment { color: #888; }775pre.css21 .cdo { color: #666; }776pre.css21 .cdc { color: #666; }777pre.css21 .string { color: #494; }778pre.css21 .invalid { color: #FF0000; }779pre.css21 .keyword { color: #BB0000; }780pre.css21 .property {font-size: 1em; color: #ff4500; }781pre.css21 .ident { color: #000080; }782pre.css21 .id { color: #0000FF; }783pre.css21 .important { color: #EE0000; background: #ffd700;}784/* @ keywords */785pre.css21 .import { color: #A0A; }786pre.css21 .page { color: #A0A; }787pre.css21 .media { color: #A0A; }788pre.css21 .charset { color: #A0A; }789pre.css21 .uri { color: #7BB; }790pre.css21 .function { color: #077; }791/* numbers */792pre.css21 .hash { color: #07F; }793pre.css21 .ems { color: #07F; }794pre.css21 .exs { color: #07F; }795pre.css21 .length { color: #07F; }796pre.css21 .angle { color: #07F; }797pre.css21 .time { color: #07F; }798pre.css21 .freq { color: #07F; }799pre.css21 .dimension { color: #07F; }800pre.css21 .percentage { color: #07F; }801pre.css21 .number { color: #07F; }802/* html 4.01 tags */803pre.css21 .tag { color: #008000; }804 805pre.javascript .normal {}806pre.javascript .comment { color: #00A; }807pre.javascript .keyword { color: #A00; }808pre.javascript .predefined_types { color: #DD0000; }809pre.javascript .char { color: #F07; }810pre.javascript .ident { color: #004; }811pre.javascript .hex { color: #F99; }812pre.javascript .oct { color: #F99; }813pre.javascript .integer { color: #F99; }814pre.javascript .float { color: #F99; }815pre.javascript .unicode { color: #F99; }816pre.javascript .string { color: #494;}817pre.javascript .other { color: #808; }818 819pre.sqlite .normal {}820pre.sqlite .comment { color: #33F; }821pre.sqlite .function { color: #077; }822pre.sqlite .keyword { color: #A00; }823pre.sqlite .operator { color: #0A0; }824pre.sqlite .datatype { color: #DD0000; }825pre.sqlite .ident { color: #004; }826pre.sqlite .string { color: #A4A; }827pre.sqlite .other { color: black; }828 829pre.yaml .normal {}830pre.yaml .document { font-weight: bold; color: #07F; }831pre.yaml .type { font-weight: bold; color: #05C; }832pre.yaml .key { color: #F88; }833pre.yaml .comment { color: #005; font-style: italic; }834pre.yaml .punct { color: #447; font-weight: bold; }835pre.yaml .string { color: #944; }836pre.yaml .number { color: #F99; }837pre.yaml .time { color: #F99; }838pre.yaml .date { color: #F99; }839pre.yaml .ref { color: #944; }840pre.yaml .anchor { color: #944; }841 842pre.ruby .normal {}843pre.ruby span.attribute { color: #090; }844pre.ruby span.char { color: #F00; }845pre.ruby span.class { color: #A020F0; font-weight: bold; }846pre.ruby span.comment { color: #00F; }847pre.ruby span.constant { color: #008B8B; }848pre.ruby span.escape { color: #6A5ACD; }849pre.ruby span.expr { color: #22C; }850pre.ruby span.global { color: #1A4; }851pre.ruby span.ident { color: #004; }852pre.ruby span.keyword { color: #A52A2A; font-weight: bold; }853pre.ruby span.method { color: #008B8B; }854pre.ruby span.module { color: #A020F0; font-weight: bold; }855pre.ruby span.number { color: #D0D; }856pre.ruby span.punct { color: #6A5ACD; }857pre.ruby span.regex { color: #D0D; }858pre.ruby span.string { color: #D0D; }859pre.ruby span.symbol { color: #008B8B; }860 861pre.xml .normal {}862pre.xml .namespace { color: #D66; font-weight: bold; }863pre.xml .tag { color: #F55; }864pre.xml .comment { color: #070; font-style: italic; }865pre.xml .punct { color: #449; font-weight: bold; }866pre.xml .string { color: #949; }867pre.xml .number { color: #F99; }868pre.xml .attribute { color: #771; }869 870 871 872body {873 font-family: "DejaVu Serif", "Cambria", Serif !important;874 font-size: 18px;875 text-align: justify;876}877h1, h2, h3, h4, h5, h6 {878 font-family: "DejaVu Serif", "Cambria", Serif !important;879 font-weight: normal;880 margin-top: 0.8em;881 margin-bottom: 0.8em;882}883h1 {884 font-size: 1.6em;885 margin-bottom: 0.6em;886}887h2 {888 font-size: 1.6em;889 margin-bottom: 0.6em;890}891h3 {892 font-weight: bold;893 font-style: italic;894 font-size: 1.25em;895}896h4 {897 font-weight: bold;898 font-size: 1.2em;899}900h5 {901 font-weight: bold;902 font-size: 1.1em;903}904h6 {905 font-weight: bold;906 font-size: 1.05em;907}908li p {909 margin-top: 0em;910 margin-bottom: 0em;911}912.query {913 border-radius: 3px;914 padding: 0 40px;915 border-width: 1px;916 margin: 40px 0;917}918strong {919 font-style: italic;920}921span.theorem_label {922 font-style: italic;923}924a {925 text-decoration: underline;926 color: #2222AA;927}928a:hover {929 color: #2c66d8;930 background: none;931 text-decoration: underline;932}933a:hover.existingWikiWord {934 color: #2c66d8;935 background: none;936}937a:visited:hover.existingWikiWord {938 color: #2c66d8;939 background: none;940}941 942img, svg {943 margin: 40px auto 10px;944 display: block;945}946h1#pageName {947 font-size: 2.5em;948 margin-top: 1.0em;949 margin-bottom: 0.4em;950 color: #000;951}952.maruku-equation {953 font-size: 1.05em;954 margin: 1.05em auto 1.05em auto;955}956.navigation:not(.navfoot) {957 position: absolute;958 top: 10px;959 right: 20px;960 padding: 15px;961 color: #888;962 font-size: 0;963}964.navigation a {965 color: #888!important;966 font-size: 13px;967 margin: 0 20px 0 0;968 font-family: Sans-Serif;969 font-weight: lighter;970}971.navigation a:hover {972 color: #555!important;973 background:none;974}975.navigation.navfoot {976 margin: 20px 0px;977}978a.navlinkbackintime {979 margin: 0 0 0 0;980}981span.backintime {982 color: #888!important;983 font-size: 13px;984 font-family: Sans-Serif;985 margin: 0 20px 0 0;986}987#pageName > span {988 position: absolute;989 font-size: .45em;990 top: 10px;991 left: 20px;992}993#pageName > span > svg {994 margin: 0;995}996#pageName > span.webName {997 left: 70px;998 top: 22px;999 color: #555;1000 font-family: Sans-Serif;1001 font-weight: lighter;1002}1003 1004.maruku_toc li{1005 font-size: 19px;1006}1007.maruku_toc li a{1008 color: #226622;1009}1010.maruku_toc li a:hover {1011 color: #2c66d8;1012}1013.maruku_toc li a:visited{1014 color: #164416;1015}1016 1017.maruku_toc li a:visited:hover{1018 color: #2c66d8;1019}1020 1021div.rightHandSide {1022 border-radius: 3px;1023 border: 1px solid rgba(0, 0, 0, 0.1);1024 border-right: 0;1025 border-top: 0;1026 font-size: 14px;1027}1028.rightHandSide p {1029 font-size: 14px;1030}1031.rightHandSide li {1032 font-size: 14px;1033}1034.rightHandSide h3 {1035 margin-top: 20px;1036 font-size: 16px;1037}1038.rightHandSide h4 {1039 font-size: 15px;1040}1041.rightHandSide h2 {1042 font-size: 15px !important;1043 margin-top: 15px;1044 margin-bottom: 10px;1045}1046 1047h1#contents {1048 font-size: 1.8em;1049}1050input[type=text]#searchField {1051 width: 100%;1052 padding: 5px 10px;1053 display: inline-block;1054 border: 1px solid #ccc;1055 border-radius: 4px;1056 box-sizing: border-box;1057 font-size: 13px;1058 margin-bottom: -5px;1059 margin-left: 10px;1060 color: #555;1061}1062table {1063 border: 0;1064 margin: auto;1065}1066td, th {1067 border: 1px solid #dddddd;1068 text-align: left;1069 padding: 8px;1070}1071 1072.float_right_image {1073 float: right;1074}1075 1076@media only screen and (max-width: 900px) {1077 .navigation:not(.navfoot) {1078 top: 60px;1079 }1080 h1#pageName {1081 margin-top: 120px;1082 }1083 .float_right_image {1084 float: none;1085 padding-top: 5px;1086 }1087}1088 1089a[] {1090 display: none;1091}1092 1093.navigation span.views {1094 font-family: Sans-Serif;1095 margin-left: 30px;1096}1097 1098.navigation a {1099 font-weight: normal;1100}1101 1102a.existingWikiWord {1103 color: #009600;1104}1105 1106a.existingWikiWord:visited {1107 color: #00b121;1108}1109 1110math {1111 font-family: "DejaVu Math TeX Gyre", "Cambria Math", "STIX Two Math" !important;1112}1113 1114mtext {1115 font-family: "DejaVu Serif", "Cambria", "STIX Two Text" !important;1116}1117 1118@font-face {1119 font-family: STIX Two Text;1120 src: local('STIX Two Text'), local('STIX2Text-Regular'),1121 url('../fonts/STIX2Text-Regular.woff2'), url('../fonts/STIX2Text-Regular.woff');1122}1123@font-face {1124 font-family: STIX Two Text;1125 src: local('STIX Two Text Bold'), local('STIX2Text-Bold'),1126 url('../fonts/STIX2Text-Bold.woff2'), url('../fonts/STIX2Text-Bold.woff');1127 font-weight: bold;1128}1129@font-face {1130 font-family: STIX Two Text;1131 src: local('STIX Two Text Italic'), local('STIX2Text-Italic'),1132 url('../fonts/STIX2Text-Italic.woff2'), url('../fonts/STIX2Text-Italic.woff');1133 font-style: italic;1134}1135@font-face {1136 font-family: STIX Two Text;1137 src: local('STIX Two Text Bold Italic'), local('STIX2Text-BoldItalic'),1138 url('../fonts/STIX2Text-BoldItalic.woff2'), url('../fonts/STIX2Text-BoldItalic.woff');1139 font-weight: bold;1140 font-style: italic;1141}1142@font-face {1143 font-family: STIX Two Math;1144 src: local('STIX Two Math'), local('STIX2Math'),1145 url('../fonts/STIX2Math.woff2'), url('../fonts/STIX2Math.woff');1146}1147 1148 1149 1150 1151 1152svg[viewBox] {max-width: 100%}1153 </style>1154 </head>1155 <body>1156 <div id="Container">1157 <div id="Content">1158 <h1 id="pageName">1159 <span style="float: left; margin: 0.5em 0.25em -0.25em 0">1160 </span>1161 <span class="webName">1162 nLab1163 </span>1164 special relativity1165 </h1>1166 <div class="navigation">1167 <span class="skipNav">1168 <a>1169 Skip the Navigation Links1170 </a>1171 |1172 </span>1173 <span style="display:inline-block; width: 0.3em;">1174 </span>1175 <a accesskey="H" title="Home page">1176 Home Page1177 </a>1178 |1179 <a accesskey="A" title="List of all pages">1180 All Pages1181 </a>1182 |1183 <a accesskey="U" title="Latest edits and page creations">1184 Latest Revisions1185 </a>1186 |1187 <a style="color: black" title="Discuss this page in its dedicated thread on the nForum">1188 Discuss this page1189 </a>1190 |1191 <form accept-charset="utf-8" action="/nlab/search" id="navigationSearchForm" method="get">1192 <fieldset class="search">1193 <input id="searchField" name="query" onblur="this.value == '' ? this.value = 'Search' : true" onfocus="this.value == 'Search' ? this.value = '' : true" style="display:inline-block; float: left;" type="text" value="Search">1194 </fieldset>1195 </form>1196 <span id="navEnd">1197 </span>1198 </div>1199 <div id="revision">1200 <html lang="en" xml:lang="en" xmlns="" xmlns:svg="">