Skip to content

Commit

Permalink
Fix strong being display block on mobile.
Browse files Browse the repository at this point in the history
This had been set to fix a bug on the index, which this fixes more precisely.
  • Loading branch information
dbp committed May 9, 2018
1 parent 7e6b3a9 commit 036ac8e
Show file tree
Hide file tree
Showing 4 changed files with 15 additions and 3 deletions.
2 changes: 1 addition & 1 deletion _site/css/default.css

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 4 additions & 0 deletions _site/index.html
Expand Up @@ -31,6 +31,7 @@
<h3 id="contact">Contact</h3>
<p>The easiest way to get in touch is via email: <a href="mailto:dbp@dbpmail.net">dbp@dbpmail.net</a>. Note that if you have another email address for me, it will probably work as well. I’m currently located in Somerville, MA.</p>
<h3 id="publications">Publications</h3>
<div class="pubs">
<a href="./pubs/2017/funtal.pdf"><strong>FunTAL: Reasonably Mixing a Functional Language with Assembly.</strong></a>
<div class="desc">
Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed. <br /><em>PLDI 2017</em>. <a href="./pubs/2017/funtal.pdf">PDF</a> and <a href="./pubs/2017/funtal-tr.pdf">appendix</a>.
Expand All @@ -51,7 +52,9 @@ <h3 id="publications">Publications</h3>
<div class="desc">
Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi. <br /><em>OOPSLA 2013</em>. <a href="./pubs/2013/lambda-py-oopsla.pdf">PDF</a>, <a href="./pubs/2013/lambda-py-appendix-oopsla.pdf">appendix</a> and <a href="http://cs.brown.edu/research/plt/dl/lambda-py/ae/">code</a>.
</div>
</div>
<h3 id="talks">Talks</h3>
<div class="pubs">
<strong>On Compositional Compiler Correctness and Fully Abstract Compilation.</strong>
<div class="desc">
Principles of Secure Compilation at <em>POPL 2017</em>. <a href="./talks/2018/ccc-prisc.pdf">slides</a> (no video).
Expand Down Expand Up @@ -80,6 +83,7 @@ <h3 id="talks">Talks</h3>
<div class="desc">
New York Haskell Meetup November 2014. <a href="./talks/2014/types-testing-haskell-meetup.pdf">slides</a> and <a href="https://www.youtube.com/watch?v=8_gjqN-VqeM">video</a>.
</div>
</div>
<h3 id="blog">Blog</h3>
<ul>
<li><a href="./essays/2018-04-19-how-to-prove-a-compiler-fully-abstract.html">How to prove a compiler fully abstract</a> - April 19, 2018</li>
Expand Down
7 changes: 6 additions & 1 deletion css/default.css
Expand Up @@ -9,11 +9,16 @@ body {
}

@media (max-width: 799px) {
h3, p, strong {
h3, p {
display: block;
margin-left: 10px;
margin-right: 10px;
}
.pubs strong {
display: block;
margin-left: 10px;
margin-right: 10px;
}
}

@media (min-width: 800px) {
Expand Down
5 changes: 4 additions & 1 deletion index.markdown
Expand Up @@ -7,7 +7,7 @@ I'm currently a graduate student at [Northeastern University](http://prl.ccs.neu
The easiest way to get in touch is via email: <a href="mailto:dbp@dbpmail.net">dbp@dbpmail.net</a>. Note that if you have another email address for me, it will probably work as well. I'm currently located in Somerville, MA.

### Publications

<div class="pubs">
[**FunTAL: Reasonably Mixing a Functional Language with Assembly.**](/pubs/2017/funtal.pdf)
<div class="desc">Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed. <br/>_PLDI 2017_. [PDF](/pubs/2017/funtal.pdf) and [appendix](/pubs/2017/funtal-tr.pdf).</div>

Expand All @@ -22,9 +22,11 @@ The easiest way to get in touch is via email: <a href="mailto:dbp@dbpmail.net">d

[**Python: The Full Monty―A Tested Semantics for the Python Programming Language.**](/pubs/2013/lambda-py-oopsla.pdf)
<div class="desc">Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi. <br/>_OOPSLA 2013_. [PDF](/pubs/2013/lambda-py-oopsla.pdf), [appendix](/pubs/2013/lambda-py-appendix-oopsla.pdf) and [code](http://cs.brown.edu/research/plt/dl/lambda-py/ae/).</div>
</div>

### Talks

<div class="pubs">
**On Compositional Compiler Correctness and Fully Abstract Compilation.**
<div class="desc">Principles of Secure Compilation at _POPL 2017_. [slides](/talks/2018/ccc-prisc.pdf) (no video).</div>

Expand All @@ -45,6 +47,7 @@ The easiest way to get in touch is via email: <a href="mailto:dbp@dbpmail.net">d

**Types and Testing in Haskell.**
<div class="desc">New York Haskell Meetup November 2014. [slides](/talks/2014/types-testing-haskell-meetup.pdf) and [video](https://www.youtube.com/watch?v=8_gjqN-VqeM).</div>
</div>

### Blog

Expand Down

0 comments on commit 036ac8e

Please sign in to comment.