You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

153 lines
298 KiB
CSS

4 years ago
/*
latex.css
https://github.com/davidrzs/latexcss
MIT-License
*/
/* Latin Modern (LaTeX default) font */
@font-face {
font-family: 'Latin Modern Roman';
font-weight: normal;
font-style: normal;
src: url(data:application/font-woff2;charset=utf-8;base64,d09GRk9UVE8AANm4AAsAAAABs7AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABDRkYgAAAM5AAAsPwAAO7UAmlCx0dQT1MAAMeYAAASHQAAmQrzHJzsR1NVQgAAwlgAAAU/AAALQglW9WFPUy8yAAABaAAAAE8AAABgad+iTWNtYXAAAAT4AAAH1wAAC867/12SaGVhZAAAAQgAAAA0AAAANvDaFZNoaGVhAAABPAAAACEAAAAkCEUGwWhtdHgAAL3gAAAEdwAADNThcVqybWF4cAAAAWAAAAAGAAAABgM1UABuYW1lAAABuAAAAz8AAAZGXR6y4XBvc3QAAAzQAAAAEwAAACD/hQAoeNpjYGRgYGBiZJv5bMajeH6brwzMzC+AIgzHPmeYwOh/Qf/usXaypAO5zAxMIFEAnBgOZXjaY2BkYGBJ/3ePgYF147+gf39YOxmAIsiA2RQAqn4HEAAAAAAAUAADNQAAeNpjYGZSZZzAwMrAw9TFFMHAwOANoRnjGDQYmYB8oBQEKDAwsDMggVDvcD8GBwaF3yzMav/tGE6wpDMqKTAwTgbJMa5nWg3WwgIAz+0LLwB42oVSu24TQRS9GydEIIR4VyBdIQqQ8NhJHCmJO6IEEWwTYgeokMb27AOvd6zdMQ4/wRcgCr6EP6CAio6anpozs5PEIUh45ZlzX+e+hohuBQsUUPn7in+JA7oOqcQLdIl+elyhO/TL40W6Gyx7vERbwX2PL9C14I3Hy/Qi0B5fpxvBlxLjWA6+gS1YvAjpU/DD44BuV448XqArlQ8eV2ij8tHjRbpX+e7xEpnKb48vzOmX6fPiW4+v0v2lyx5fo5tL9RKjBvBv68n7PIliw6v1+toje27yY8F7cjDSs2KUsMyGvCe4LbijZ9Am/EBn3FexTEPWIffUa54WKi84yvV0UjwU3IuTgmc6HzHuXKVKFmrI02yocjax4ieH3R7v6sxwKxmorFBcrTIXSnFszGSrVjPTSOg8qoXwKWpp6VTUbFx193mnV2093d7pdHeEOTIc6pyHysgkLURLmiTjtkamjA/0WGYrdT5Q0TSV+aqo1xvNw2evOs1W29uq3nY+jk8DX6K5BD2XBPtdD2JtBjp7xyuiLhqbzbEcKW1CkSZ92MVKY2N97VyefTcLzCS0o9BuGqcrKNTA2ES2I2ux7bPJ5VCNJYYpjcmT/tS5ZNpgKmi4fa5cf9E2aZrQe8opoYhiMsS0SnV8a/ToBG8CPSaBc48kDWiEqBkVuBPoJGU0dDbr0XZnx3mUvtbnAeQMd58UskhKKYSk3dmD7jXuKRgVKimAI9wamgmkh46xh7jE2Waw5OBlL+eISvGXLn7omGxFlovRUQzE9IQOqQsWpl1Xi+20BYYBrJmLZKriY3xWsrKdh0ENW1TDZ8AboRabPYIcep4COD3DZDXH+arI9xzzsKhFTzHxHUhdnAKxR66O0HGyq9mgjwR8BewtTJPpANaxmzLTCrZxAK8ItaTQ5diQcDtqUBMZn9ErsDdd5Gmcjar+Ffd/j5d+G4nf3XymfXRwVhPDy2AG1vedq9TaBGybsNosI/BZnxBaO6++jxfwbdAGrePN7c9tstxseLJHPbfNf71bGzMAOq73eKrHMeHJ3g300k177DoduVdsnN7WNZ1jyVzN5XbLnUgnZ+6ta//OsjN7stPks9P8A1z2QwQAeNrVlnlwVUUWxr+vL8qWhMWEGwIcbl421rApEJAdQWQVlU1QWQSEsCiCCAqogzAqg6CW1jDWAAk4FKCgIIssAR32TQEJQkjyLgR8N5CwBYSBN+c9FUf/mKkaq6Zquqr7ve66t7vv+U595wfAQribaBChVl1nDM/v5nWdl8U1jMCP7efff99G4D4MQk80RF/UwBN4DH3goD/qoy36YTheRG+MxiikoTmexjA0QQ/Uw1B0wb1ohYGIRzX4UAepaISmaIHWaIcOeACd8RC6oRcewQA8icEYiXSMw7OYgIl4AbWQiNoQjMX9+g0JqIsGaIxmaIk2aI+O6IQH0RXd8TAexeN4CkPwDMZgPJ7D85iEyUhGElJQU+//V3yGA7jBRdxg2mMG/oa3sRCbsQYHcZMxJCvwYQ5hXz7OxVzKbVzBjTxt0kx308Z0wCkEcNQ4pjp28gxbmbI4aZpiAc7r3hnM5TMsDIXJTOP8X4LGHJ7iUWQyj0Wsx5m8wfrh9TZsy1h+gI+wiS43cwursxov8wqvsgTFus9UM4WprMt2bI+XMQ25LOA1XuI5zFUhpzOK0ezFPhzAwVzC5bpnlmluWptuuI5s04h/xDZcNeVxhD24FXtQquzG0DP6bmlkYRpLszwjWYn36LfbrKqn12BNxjOBSUxhbT25PpuxBe9na71re3ZkJz7IruzOnhqnR/iYRqq/xmoQn9QbDOXTGoHRHMNxfJYTOJGTOYUvcTr/xPka81U8wEP8hkd4UmNylh6L9Utv8haDhuYuU9ZEmkomxlQ11Uwz099sNTtNjlXKirAqWJWsBCvZamwtspZFtZFIqSBJkiJ1pYGkSQfpLINkqIyRcfKKvCYz5R15XxZJhiyR5bJSPpG1sk42yBeyWbbK32Wn7Ja9sl8OytdyTI7LCckXV87IWfleiuSiXJar8oNTyYl2qjhxjjg+J9lp5LR0WjltnU5Ob+dRZ5GT6Sx1ljkrnNXxVrwdL/FOvC8+JT41/h1fZV+Mz/bF+cTnS0BCncSEpILkUckfp5w9ZwUqBWoGmgY6eaW8cl6kV9mzvapeTa+u19hr6rX02nodvC5ed6+vN8Ab7I3wRnvjvGmFLIwqrFTSrqRbyZaSkyWnriVeS7u2+GapYFBTyMFClmGE5kFlzYQqmk1xmkNChz4mMpm1WEczLpVpbMlWmm/t2IEPsDMfYjfNiF7szUc1e/pp/gzkE3xKM38YR3IU0zmW4/kcn+ckvsipfDms4EJ+wv08yK95mMdUwQIGVMErms//4G0DU8qUMRGmook2sSZOFexntpgdJtuCdfcdBVOteVaGKhghUZIoyVJHUqWptJeO0k+GSLqMlRnyqvxB5quCC2WxZMpSWSEfyyr5XNbLRtkkWyRLdsgu2SP75IAckm8kW76Tk+KX01Ig5yQgxXJJrkiJU9G5RxWMdao7jirY0ElTBds4HX+l4PKwglV+UjBZFXz7NwrWTvSFFVyZUqAKIhAdSAo094xXRhWs4MWoguLV8lK9+7wWYQUf9Lp5vcIKDlUFx6qCKLy7sGJJ85IOdxRsqAoirCCCu4JZwW9ROngueEPH0+qQMdpt9bka6myt1L2gY1v1vtY6762O2zt4GLPUdV9Rr81U98jAWmzUvhrbsYUGV0Ieh0JcVqczoezQU94NLlAXXHQ7KzgzmB3yx2D3YM9gcXBG8P7bX9xeFnRvfxgsE+wVXB4sUscGIm5v/1fjv3X41ppbR26t/XF2abr/pP+0m+ImuNXcVLeL29Xt7y5z17ub3R3uJTfgFro/uPP89JfOP59flH82/2j+sfyD/gH+gf50f0d/J39r/wL/e/4i/1V/jj/Xf8x/Xv+fdYe7I91Rbro7zJ3jznbf9PcG8vbn54ROzLsUGvPDvpn3oT8yLy0vL+9i/l5da557WNe+z7uVHw3klmiflht3KjM3L7frqbdyCnNeB06UnKgDZN+IezN2buyc2Nmxs+x99m57p73D/sr+0t5qr7PX2p/Zq+2V9nL7I3uJnWEvshfYf7bft9+z0+2KQJWboZMj+kQ8ENGjfBFQfnzIwNVtX/rPRdOqhd/ZzI3/6q09Zp85YA6Z74z/zlqBuWBF4X/UzKfhcZVZo+PnZr2OG82mXz2x5pfn9PfjH/tvdskMj4t/xz1GaZ9s3rgzf/enXf+veYYfsF6IRpBjpmGHMsl5hOpqG840Yspq7Q+wUF24ARaod59hgVLAcSWRtszmMZPKInWO6ZiLTWEqysABRqtfQGvJ4J+YIllrdlaIK5RONvAd5ppuYbpobyaZemyl9DRD+WmzEtQa9aGDjFGGChHUEGWDEEGlKENtU4paw
}
@font-face {
font-family: 'Latin Modern Roman';
font-weight: bold;
font-style: normal;
src: url(data:application/font-woff2;charset=utf-8;base64,d09GRk9UVE8AANXoAAsAAAABsogAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABDRkYgAAAM5AAArS0AAO4Vf6hukEdQT1MAAMPgAAASBQAAmMxCASOTR1NVQgAAvqAAAAU/AAALQglW9WFPUy8yAAABbAAAAE8AAABgaxulp2NtYXAAAAT4AAAH1wAAC867/12SaGVhZAAAAQgAAAA1AAAANvFhFapoaGVhAAABQAAAACEAAAAkCNEHXWhtdHgAALoUAAAEiQAADNTsmGSubWF4cAAAAWQAAAAGAAAABgM1UABuYW1lAAABvAAAAzkAAAYcB2N0VnBvc3QAAAzQAAAAEwAAACD/jwA8eNpjYGRgYGBiZJskOtMxnt/mKwMz8wugCMOxzxn2MPqf1L+bbO4suQyMDMwMTCBRAFYwDIwAAAB42mNgZGBgyf13k4GBrfmf1L/TbO4MQBFkwGwKAJhkBjoAAAAAAFAAAzUAAHjaY2BmqmDaw8DKwMPUxRTBwMDgDaEZ4xhsGLmAfAYOBghQYGBgZ0ACod7hfkBBhd8szGr/7RhOsOQyqiswME4GyTHuYVoH1sICAAOgC8kAeNp9Uk1PE0EYfpcW0cQQNNHEj8N78IAJ3ZZSEqA3CBihrUgLeJ22s91Nl51md0oh8ejv8OBvMP4CD95M/Afe+Bk+MzuFNhp3sjPP+/XM+zFE9MRbII/y7yf+HHv0GFKOF2iJfjtcoGd043CRnnuew4u0471w+B4te6cOL9F7r+fwY1rxvuYYW9H7Djav+ADSZ++Hwx49LQQOL9D9wkeHC1QtfHK4SC8L3xxeJF345fC9Gf0SfSkeOLxCr4o3Dj+i5cWHOUYO4N9To+s0GoSaq5XKxprZt3nX50PRG6pJNoxYJH0+9Lnpc0tNoI14VSXclaGIA1YBd+QHHmcyzXiQqvEoe+1zJ4wynqh0yDhTGUuRyT6Pk75MWYeS35y2O3ygEs2NqCeTTHKpxJxJyaHWo51yWY8HvkoH5QA+WTnOnbKyiSsdvGt1So23e/ut9r6vrzQHKuW+1CKKM78hdJRwU+GmhE/UhUjWK7yr4n7Vr1Rq9dOj81a90XSGkjH8HcEu5Aw1RSg1Dz1uOxAq3VPJJa/7Fb+2Xb8QQ6l04MdRF3Z/vba1uTF/w7GtH30ITPnKduCu7ZnsaXOLqcJYTMmsU9GXFwINFFqnUXdsXRKl0QkU2ZxP1Py0R4pGdE0pRTSgkDQxVamCtUFrt3gbaJd87IckqEdDRE0owxlBJyihvrUZj6bdW9Yj9zU+q5ATnF2SuEVQTAEkZfcOdB9wjsEokUkGPMCpoBlBem0ZO4iLrG0CSwpednKKqBi/sPF9y2QyMlyMikIgpjd0Sm2wMB3YXEylDTD0YE1sJFMJi7GMZGTTD40cdqiMpcE7QC7m9gHkwPFkwPEck9FM7yvhvnfoh0ENeouO70NqY/cRe2XzCCwn25w16ojAl8HeQDeZTmC9sF1mWsc0diHH8K3Cw0ynRnXcdUTn4K3bmLsI41+6jfif7cz1PnKTmmU/Rr7zmhBeGhUb30ubl7H5sG3DaviH4DM+AbSmO10X78O3Rlu0iRd2PDO3fI7B7dTUzOz+9UpNTA9omu+0h9OY4HbKGnphe2vyyl+OsJNNbV7jGZbE5pzPMp+AsHJiX7ZyryqZm4rpI0/7+AcfxDU1AAAAeNrVlnlwVUUWxr+vL8qWhMWEGwIcbl421rApEJAdQWQVlU1QWQSEsCiCCAqogzAqg6CW1jDWAAk4FKCgIIssAR32TQEJQkjyLgR8N5CwBYSBN+c9FUf/mKkaq6Zquqr7ve66t7vv+U595wfAQribaBChVl1nDM/v5nWdl8U1jMCP7efff99G4D4MQk80RF/UwBN4DH3goD/qoy36YTheRG+MxiikoTmexjA0QQ/Uw1B0wb1ohYGIRzX4UAepaISmaIHWaIcOeACd8RC6oRcewQA8icEYiXSMw7OYgIl4AbWQiNoQjMX9+g0JqIsGaIxmaIk2aI+O6IQH0RXd8TAexeN4CkPwDMZgPJ7D85iEyUhGElJQU+//V3yGA7jBRdxg2mMG/oa3sRCbsQYHcZMxJCvwYQ5hXz7OxVzKbVzBjTxt0kx308Z0wCkEcNQ4pjp28gxbmbI4aZpiAc7r3hnM5TMsDIXJTOP8X4LGHJ7iUWQyj0Wsx5m8wfrh9TZsy1h+gI+wiS43cwursxov8wqvsgTFus9UM4WprMt2bI+XMQ25LOA1XuI5zFUhpzOK0ezFPhzAwVzC5bpnlmluWptuuI5s04h/xDZcNeVxhD24FXtQquzG0DP6bmlkYRpLszwjWYn36LfbrKqn12BNxjOBSUxhbT25PpuxBe9na71re3ZkJz7IruzOnhqnR/iYRqq/xmoQn9QbDOXTGoHRHMNxfJYTOJGTOYUvcTr/xPka81U8wEP8hkd4UmNylh6L9Utv8haDhuYuU9ZEmkomxlQ11Uwz099sNTtNjlXKirAqWJWsBCvZamwtspZFtZFIqSBJkiJ1pYGkSQfpLINkqIyRcfKKvCYz5R15XxZJhiyR5bJSPpG1sk42yBeyWbbK32Wn7Ja9sl8OytdyTI7LCckXV87IWfleiuSiXJar8oNTyYl2qjhxjjg+J9lp5LR0WjltnU5Ob+dRZ5GT6Sx1ljkrnNXxVrwdL/FOvC8+JT41/h1fZV+Mz/bF+cTnS0BCncSEpILkUckfp5w9ZwUqBWoGmgY6eaW8cl6kV9mzvapeTa+u19hr6rX02nodvC5ed6+vN8Ab7I3wRnvjvGmFLIwqrFTSrqRbyZaSkyWnriVeS7u2+GapYFBTyMFClmGE5kFlzYQqmk1xmkNChz4mMpm1WEczLpVpbMlWmm/t2IEPsDMfYjfNiF7szUc1e/pp/gzkE3xKM38YR3IU0zmW4/kcn+ckvsipfDms4EJ+wv08yK95mMdUwQIGVMErms//4G0DU8qUMRGmook2sSZOFexntpgdJtuCdfcdBVOteVaGKhghUZIoyVJHUqWptJeO0k+GSLqMlRnyqvxB5quCC2WxZMpSWSEfyyr5XNbLRtkkWyRLdsgu2SP75IAckm8kW76Tk+KX01Ig5yQgxXJJrkiJU9G5RxWMdao7jirY0ElTBds4HX+l4PKwglV+UjBZFXz7NwrWTvSFFVyZUqAKIhAdSAo094xXRhWs4MWoguLV8lK9+7wWYQUf9Lp5vcIKDlUFx6qCKLy7sGJJ85IOdxRsqAoirCCCu4JZwW9ROngueEPH0+qQMdpt9bka6myt1L2gY1v1vtY6762O2zt4GLPUdV9Rr81U98jAWmzUvhrbsYUGV0Ieh0JcVqczoezQU94NLlAXXHQ7KzgzmB3yx2D3YM9gcXBG8P7bX9xeFnRvfxgsE+wVXB4sUscGIm5v/1fjv3X41ppbR26t/XF2abr/pP+0m+ImuNXcVLeL29Xt7y5z17ub3R3uJTfgFro/uPP89JfOP59flH82/2j+sfyD/gH+gf50f0d/J39r/wL/e/4i/1V/jj/Xf8x/Xv+fdYe7I91Rbro7zJ3jznbf9PcG8vbn54ROzLsUGvPDvpn3oT8yLy0vL+9i/l5da557WNe+z7uVHw3klmiflht3KjM3L7frqbdyCnNeB06UnKgDZN+IezN2buyc2Nmxs+x99m57p73D/sr+0t5qr7PX2p/Zq+2V9nL7I3uJnWEvshfYf7bft9+z0+2KQJWboZMj+kQ8ENGjfBFQfnzIwNVtX/rPRdOqhd/ZzI3/6q09Zp85YA6Z74z/zlqBuWBF4X/UzKfhcZVZo+PnZr2OG82mXz2x5pfn9PfjH/tvdskMj4t/xz1GaZ9s3rgzf/enXf+veYYfsF6IRpBjpmGHMsl5hOpqG840Yspq7Q+wUF24ARaod59hgVLAcSWRtszmMZPKInWO6ZiLTWEqysABRqtfQGvJ4J+YIllrdlaIK5RONvAd5ppuYbpobyaZemyl9DRD+WmzEtQa9aGDjFGGChHUEGWDEEGlKENtU4paw
}
@font-face {
font-family: 'Latin Modern Roman';
font-weight: normal;
font-style: italic;
src: url(data:application/font-woff2;charset=utf-8;base64,d09GRk9UVE8AAOTUAAsAAAAB0CwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABDRkYgAAAM6AAAuq8AAPX6mQoLQEdQT1MAANH8AAAS1wAArm525ssOR1NVQgAAzLwAAAU/AAALQglW9WFPUy8yAAABaAAAAFIAAABgaeCiT2NtYXAAAAT4AAAH1wAAC867/12SaGVhZAAAAQgAAAA0AAAANvChFZ1oaGVhAAABPAAAACMAAAAkCQIJ0GhtdHgAAMeYAAAFIwAADNTdsjsHbWF4cAAAAWAAAAAGAAAABgM1UABuYW1lAAABvAAAAzwAAAY4qWFYRXBvc3QAAAzQAAAAFwAAACD/dvbkeNpjYGRgYGBiZLssXfUjnt/mKwMz8wugCMOxzxlWMPqf2b97rFksqQxMDMxADAQAfwANnXjaY2BkYGBJ/XePgYE1+Z/ZvyLWLOYXDL8YkACzKQCwsgffAAAAUAADNQAAeNpjYGZSYZzAwMrAw9TFFPH/LYM3iGYIZ4xj0GBkYgACVgYIUGBgYGdAAqHe4X4MjAwKv1mY1f7bMZxgSWVUUmBgnAySY1zPtBqshQUAfNANMAAAeNqFUsFOGzEQnSUEhNQDRWov7WEqcQCJbAKEipAbCBCQBEoCVKpUyUm82VXCOtp1CPxBP6DnHvod/YIe2kt/oFe+os9eA4FWalax33jmvRnPmIheeFPkUfb7iX+GPVqAleEpmqPfDufoFd06PE2vvbzDedry3jg8Q/PeB4dn6Z3Xd3iBFrxvGcYy4/2Amjc9B+uL98thj17mEoen6Fnuk8M5epv77PA0ce67w3nSuVuHZybOZ+nr9EeH52kxTw4/p4X8YoZRA/R31PAmiXqh5rVSaX3FrBXe9vlQdPpqnPYjFnGXD32u+9xQY5xGvKRibstQDAJWAbfkex6lMkm5l6jRMF32uRVGKY9V0mfsiRxIkcouj+KuTFiHkvfPmi3eU7HmWtSRcSq5UGBOpeRQ6+FWsahHPV8lvWKAmLQ4yILSouEV9o4brULtYGe30dz19bXmQCXclVpEg9SvCR3FXFfIFPOpuhTxaokPtIDEml8qlatnRxeNaq3uXIXM9TeL72nnuFmEC2f0k6YDodIdFV/xql/yy5XqpehLpQN/ELXh91fLmxvrT7Oc2D6gH4Fpg7KdeGh/Kjva5DG3MR5zddaJ6MpLgUYKrZOoPbIhsdLoCC5bf1psttIOKRrSDSUUUY9C0sS0RiV867RyjytA2+RjPSRBHeqDNaYUe4QzQTF1rc9E1O3asBFZrIlZgh1jb5NEFkEDCmApu7Zw9h77CIoSlaTAPewKJ0NYy1axBV5kfWN4EuiysxOwBvgLy+9aJVOR0WLcKARi2qczakKFac/WYm5ag0IH3tgymQr4GJ+xjG36oVHDFhXxaej2UIvJ3oMdOJ0UePBIyZzc5Ssg3zH6YVCNDtDxXVhNrD6417aOwGqyrVnjHhH0Uvhr6CbTKbyXtstMq5jGgY3JMq4hykyoTFXkO6ILaFct74FlOIVHrP/5z90cIje1ySwnqP3xSYgoDZaJvbI1Gp8PXwVek6MPPRMT4NRkaDu+j9gybdIGXtvJxAyzmQb3E1QTc/zXizWcDtBdvXf9vOME9xPXOBe2z6au7BUJO+XE1jWaUIltzdlcs2kIa8f2lSv3wuJHEzK95Mle/gFK5z2geNrVlnlwVUUWxr+vL8qWhMWEGwIcbl421rApEJAdQWQVlU1QWQSEsCiCCAqogzAqg6CW1jDWAAk4FKCgIIssAR32TQEJQkjyLgR8N5CwBYSBN+c9FUf/mKkaq6Zquqr7ve66t7vv+U595wfAQribaBChVl1nDM/v5nWdl8U1jMCP7efff99G4D4MQk80RF/UwBN4DH3goD/qoy36YTheRG+MxiikoTmexjA0QQ/Uw1B0wb1ohYGIRzX4UAepaISmaIHWaIcOeACd8RC6oRcewQA8icEYiXSMw7OYgIl4AbWQiNoQjMX9+g0JqIsGaIxmaIk2aI+O6IQH0RXd8TAexeN4CkPwDMZgPJ7D85iEyUhGElJQU+//V3yGA7jBRdxg2mMG/oa3sRCbsQYHcZMxJCvwYQ5hXz7OxVzKbVzBjTxt0kx308Z0wCkEcNQ4pjp28gxbmbI4aZpiAc7r3hnM5TMsDIXJTOP8X4LGHJ7iUWQyj0Wsx5m8wfrh9TZsy1h+gI+wiS43cwursxov8wqvsgTFus9UM4WprMt2bI+XMQ25LOA1XuI5zFUhpzOK0ezFPhzAwVzC5bpnlmluWptuuI5s04h/xDZcNeVxhD24FXtQquzG0DP6bmlkYRpLszwjWYn36LfbrKqn12BNxjOBSUxhbT25PpuxBe9na71re3ZkJz7IruzOnhqnR/iYRqq/xmoQn9QbDOXTGoHRHMNxfJYTOJGTOYUvcTr/xPka81U8wEP8hkd4UmNylh6L9Utv8haDhuYuU9ZEmkomxlQ11Uwz099sNTtNjlXKirAqWJWsBCvZamwtspZFtZFIqSBJkiJ1pYGkSQfpLINkqIyRcfKKvCYz5R15XxZJhiyR5bJSPpG1sk42yBeyWbbK32Wn7Ja9sl8OytdyTI7LCckXV87IWfleiuSiXJar8oNTyYl2qjhxjjg+J9lp5LR0WjltnU5Ob+dRZ5GT6Sx1ljkrnNXxVrwdL/FOvC8+JT41/h1fZV+Mz/bF+cTnS0BCncSEpILkUckfp5w9ZwUqBWoGmgY6eaW8cl6kV9mzvapeTa+u19hr6rX02nodvC5ed6+vN8Ab7I3wRnvjvGmFLIwqrFTSrqRbyZaSkyWnriVeS7u2+GapYFBTyMFClmGE5kFlzYQqmk1xmkNChz4mMpm1WEczLpVpbMlWmm/t2IEPsDMfYjfNiF7szUc1e/pp/gzkE3xKM38YR3IU0zmW4/kcn+ckvsipfDms4EJ+wv08yK95mMdUwQIGVMErms//4G0DU8qUMRGmook2sSZOFexntpgdJtuCdfcdBVOteVaGKhghUZIoyVJHUqWptJeO0k+GSLqMlRnyqvxB5quCC2WxZMpSWSEfyyr5XNbLRtkkWyRLdsgu2SP75IAckm8kW76Tk+KX01Ig5yQgxXJJrkiJU9G5RxWMdao7jirY0ElTBds4HX+l4PKwglV+UjBZFXz7NwrWTvSFFVyZUqAKIhAdSAo094xXRhWs4MWoguLV8lK9+7wWYQUf9Lp5vcIKDlUFx6qCKLy7sGJJ85IOdxRsqAoirCCCu4JZwW9ROngueEPH0+qQMdpt9bka6myt1L2gY1v1vtY6762O2zt4GLPUdV9Rr81U98jAWmzUvhrbsYUGV0Ieh0JcVqczoezQU94NLlAXXHQ7KzgzmB3yx2D3YM9gcXBG8P7bX9xeFnRvfxgsE+wVXB4sUscGIm5v/1fjv3X41ppbR26t/XF2abr/pP+0m+ImuNXcVLeL29Xt7y5z17ub3R3uJTfgFro/uPP89JfOP59flH82/2j+sfyD/gH+gf50f0d/J39r/wL/e/4i/1V/jj/Xf8x/Xv+fdYe7I91Rbro7zJ3jznbf9PcG8vbn54ROzLsUGvPDvpn3oT8yLy0vL+9i/l5da557WNe+z7uVHw3klmiflht3KjM3L7frqbdyCnNeB06UnKgDZN+IezN2buyc2Nmxs+x99m57p73D/sr+0t5qr7PX2p/Zq+2V9nL7I3uJnWEvshfYf7bft9+z0+2KQJWboZMj+kQ8ENGjfBFQfnzIwNVtX/rPRdOqhd/ZzI3/6q09Zp85YA6Z74z/zlqBuWBF4X/UzKfhcZVZo+PnZr2OG82mXz2x5pfn9PfjH/tvdskMj4t/xz1GaZ9s3rgzf/enXf+veYYfsF6IRpBjpmGHMsl5hOpqG840Yspq7Q+wUF24ARaod59hgVLAcSWRtszmMZPKInWO6ZiLTWEqysABRqtfQGvJ4J+YIllrdlaIK5RONvAd5ppuYbpobyaZemyl9DRD+WmzEtQa9aGDjFGGChHUEGWDEEGlKENtU4paw
}
@font-face {
font-family: 'Latin Modern Roman';
font-weight: bold;
font-style: italic;
src: url(data:application/font-woff2;charset=utf-8;base64,d09GRk9UVE8AAOL4AAsAAAABzbwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABDRkYgAAAM+AAAuKYAAPOC2wuWdkdQT1MAANAcAAAS2QAArjbehg31R1NVQgAAytwAAAU/AAALQglW9WFPUy8yAAABaAAAAFIAAABgayil/GNtYXAAAAUIAAAH1wAAC867/12SaGVhZAAAAQgAAAA0AAAANvEZFbpoaGVhAAABPAAAACMAAAAkCY8KS2htdHgAAMWgAAAFPAAADNT0e0XkbWF4cAAAAWAAAAAGAAAABgM1UABuYW1lAAABvAAAA0kAAAZ4+DnPAnBvc3QAAAzgAAAAFwAAACD/gPb4eNpjYGRgYGBiZFv/4rZBPL/NVwZm5hdAEYZjnzPcYPTfX//OssmyVDMwAyETSBQAluAOdHjaY2BkYGCp/neWgYFN6++vf+ZssswvGH4xIAFmUwCzAgfoAAAAUAADNQAAeNpjYGaqYtrDwMrAw9TFFPH/LYM3iGYIZ4xjsGHkYgACDgYIUGBgYGdAAqHe4X4MigwKv1mY1f7bMZxgqWY0VmBgnAySY9zDtA6shQUAu/8OKQAAeNqNUrtuE0EUvRs7RAgJQcSjQeIiUQQpXjuJg0gsUThKkIPtBOw8RDe2Z70rb3as3TFOCn6BipoC8RV8BHwDBTWUlJyZnQRHpMArz5z7Ovc1RHTXmyOP8t83/HPs0SKkHM/RTfrucIEe0k+Hi/TIu+nwPG16ZYev0R0vcniBXnnvHF6k+97XHOO44f0Am1e8Dumj98thj+4V3js8B/zZ4QI9L3xxuEhLhd8Oz5MussPXZvQL9Kn4weFb9Hj+qcO36cH8mxyjBvBvqfFZGg1DzauVytqyOTe47vOu6I/UNBtFLJIB7/rc8rmtptBGvKQS7slQxAGrgLvymCeZTDMepmoyzp743A2jjKcqHTHuVMZSZHLAk2QgU9ah5BcHnS7vqERzM+rLJJNcKjFnUnKo9XizXNaToa/SYTmAT1aOc6esbOJKO3vtbqnZ2Npud7Z9fao5UCkPpBZRnPlNoaOEWwqZEn6tTkSyUuG6igfc0AI8q36lUq0dvDxq15otZy8Ze27+N5wvxx+izwjt5zz7HQdCpfsqecsrfsWvbtROxEgqHfhx1IPdX6k+W1+7Kt2+nQwmFJjBKDubvwvJZF+bXKY/YzHDYJ2KgTwRGK3QOo16E+uSKI0Zof3WlVXPQNoiRWM6o5QiGlJImphWqYJvjZYv8AZQnXycuySoTyNETSnDHUEnKKGBtRmPlj3b1iP3NT5LkBPcPZLIIiimAJKyZxe6Y9wTMEpUkgEPcStoxpCeWMYu4iJrm8KSgpednCIqxl/Y+IFlMhUZLkZHIRDTCzqgDliYdmwtptMmGPqwJjaSqYSP8RnJyGYeGjVsUhmfBu8QtZjsQ8iB48mA40tMRnOer4R8e5iHQU1qYOLbkDo4fcSe2joCy8m2Zo0+IvBlsDcxTabXsJ7YKTOtYBt1yLHts2G989yr8De7qlINmV/SEbLULMPfeBNduoifjf5fv0O3ocjtczbrPrq6rAnhpRFlfN/a6o3Nh20DVpNrBD7jE0BrMvRcvA/fKj2jdbzD/Znt5tsOLnarZjZ81Vs2MX2g83rPJ30eE1y8BQ29sBswdeXvS9j9p7auyQxLYmvON57vSVg5se9fubeXXNqdmSlfvbs/et1O7AAAAHja1ZZ5cFVFFsa/ry/KloTFhBsCHG5eNtawKRCQHUFkFZVNUFkEhLAogggKqIMwKoOgltYw1gAJOBSgoCCLLAEd9k0BCUJI8i4EfDeQsAWEgTfnPRVH/5ipGqumarqq+73uure77/lOfecHwEK4m2gQoVZdZwzP7+Z1nZfFNYzAj+3n33/fRuA+DEJPNERf1MATeAx94KA/6qMt+mE4XkRvjMYopKE5nsYwNEEP1MNQdMG9aIWBiEc1+FAHqWiEpmiB1miHDngAnfEQuqEXHsEAPInBGIl0jMOzmICJeAG1kIjaEIzF/foNCaiLBmiMZmiJNmiPjuiEB9EV3fEwHsXjeApD8AzGYDyew/OYhMlIRhJSUFPv/1d8hgO4wUXcYNpjBv6Gt7EQm7EGB3GTMSQr8GEOYV8+zsVcym1cwY08bdJMd9PGdMApBHDUOKY6dvIMW5myOGmaYgHO694ZzOUzLAyFyUzj/F+Cxhye4lFkMo9FrMeZvMH64fU2bMtYfoCPsIkuN3MLq7MaL/MKr7IExbrPVDOFqazLdmyPlzENuSzgNV7iOcxVIaczitHsxT4cwMFcwuW6Z5ZpblqbbriObNOIf8Q2XDXlcYQ9uBV7UKrsxtAz+m5pZGEaS7M8I1mJ9+i326yqp9dgTcYzgUlMYW09uT6bsQXvZ2u9a3t2ZCc+yK7szp4ap0f4mEaqv8ZqEJ/UGwzl0xqB0RzDcXyWEziRkzmFL3E6/8T5GvNVPMBD/IZHeFJjcpYei/VLb/IWg4bmLlPWRJpKJsZUNdVMM9PfbDU7TY5VyoqwKliVrAQr2WpsLbKWRbWRSKkgSZIidaWBpEkH6SyDZKiMkXHyirwmM+UdeV8WSYYskeWyUj6RtbJONsgXslm2yt9lp+yWvbJfDsrXckyOywnJF1fOyFn5XorkolyWq/KDU8mJdqo4cY44PifZaeS0dFo5bZ1OTm/nUWeRk+ksdZY5K5zV8Va8HS/xTrwvPiU+Nf4dX2VfjM/2xfnE50tAQp3EhKSC5FHJH6ecPWcFKgVqBpoGOnmlvHJepFfZs72qXk2vrtfYa+q19Np6HbwuXnevrzfAG+yN8EZ747xphSyMKqxU0q6kW8mWkpMlp64lXku7tvhmqWBQU8jBQpZhhOZBZc2EKppNcZpDQoc+JjKZtVhHMy6VaWzJVppv7diBD7AzH2I3zYhe7M1HNXv6af4M5BN8SjN/GEdyFNM5luP5HJ/nJL7IqXw5rOBCfsL9PMiveZjHVMECBlTBK5rP/+BtA1PKlDERpqKJNrEmThXsZ7aYHSbbgnX3HQVTrXlWhioYIVGSKMlSR1KlqbSXjtJPhki6jJUZ8qr8QearggtlsWTKUlkhH8sq+VzWy0bZJFskS3bILtkj++SAHJJvJFu+k5Pil9NSIOckIMVySa5IiVPRuUcVjHWqO44q2NBJUwXbOB1/peDysIJVflIwWRV8+zcK1k70hRVcmVKgCiIQHUgKNPeMV0YVrODFqILi1fJSvfu8FmEFH/S6eb3CCg5VBceqgii8u7BiSfOSDncUbKgKIqwggruCWcFvUTp4LnhDx9PqkDHabfW5GupsrdS9oGNb9b7WOu+tjts7eBiz1HVfUa/NVPfIwFps1L4a27GFBldCHodCXFanM6Hs0FPeDS5QF1x0Oys4M5gd8sdg92DPYHFwRvD+21/cXhZ0b38YLBPsFVweLFLHBiJub/9X4791+NaaW0durf1xdmm6/6T/tJviJrjV3FS3i9vV7e8uc9e7m90d7iU34Ba6P7jz/PSXzj+fX5R/Nv9o/rH8g/4B/oH+dH9Hfyd/a/8C/3v+Iv9Vf44/13/Mf17/n3WHuyPdUW66O8yd48523/T3BvL25+eETsy7FBrzw76Z96E/Mi8tLy/vYv5eXWuee1jXvs+7lR8N5JZon5YbdyozNy+366m3cgpzXgdOlJyoA2TfiHszdm7snNjZsbPsffZue6e9w/7K/tLeaq+z19qf2avtlfZy+yN7iZ1hL7IX2H+237ffs9PtikCVm6GTI/pEPBDRo3wRUH58yMDVbV/6z0XTqoXf2cyN/+qtPWafOWAOme+M/85agblgReF/1Myn4XGVWaPj52a9jhvNpl89seaX5/T34x/7b3bJDI+Lf8c9RmmfbN64M3/3p13/r3mGH7BeiEaQY6ZhhzLJeYTqahvONGLKau0PsFBduAEWqHefYYFSwHElkbbM5jGTyiJ1jumYi01hKsrAAUarX0BryeCfmCJZa3ZWiCuUTjbwHeaabmG6aG8mmXpspfQ0Q/lpsxLUGvWhg4xRh
}
/* Page Layout */
body {
background-color: white;
font-size: 13pt;
}
body {
font-family: 'Latin Modern Roman', serif;
counter-reset: theorem;
counter-reset: definition;
}
h1, h2, h3, h4, h5, h6 {
border: none;
font-weight: bold;
}
a, a:visited {
color: #a00;
}
ul {
list-style: disc;
}
/* Content Box */
body {
max-width: 720px;
margin: 2em auto;
}
h1:first-of-type {
text-align: center;
display: block;
}
/* Article Body */
body {
text-align: justify;
-moz-hyphens: auto;
-webkit-hyphens: auto;
hyphens: auto;
padding: 0 1em;
}
dl dd {
/* center definitions (most useful for display equations) */
text-align: center;
}
@media (min-width: 43.75em) {
body {
padding: 0;
}
}
.theorem {
counter-increment: theorem;
display: block;
margin: 12px 0;
font-style: italic;
}
.theorem:before {
content: "Theorem " counter(theorem) ".";
font-weight: bold;
font-style: normal;
}
.lemma {
counter-increment: theorem;
display: block;
margin: 12px 0;
font-style: italic;
}
.lemma:before {
content: "Lemma " counter(theorem) ".";
font-weight: bold;
font-style: normal;
}
.proof {
display: block;
margin: 12px 0;
font-style: normal;
}
.proof:before {
content: "Proof.";
font-style: italic;
}
.proof:after {
content: "\25FB";
float:right;
}
.definition {
counter-increment: definition;
display: block;
margin: 12px 0;
font-style: normal;
}
.definition:before {
content: "Definition " counter(definition) ".";
font-weight: bold;
font-style: normal;
}
.author {
margin-top: 8px;
margin-bottom: 8px;
font-variant-caps: small-caps;
text-align: center;
}